7|app-emacs/idris-mode|idris-mode-1.0.ebuild|~amd64|maintainer-needed@gentoo.org
7|app-emacs/idris-mode|idris-mode-9999.ebuild|none|maintainer-needed@gentoo.org