7|app-emacs/idris-mode|idris-mode-9999.ebuild|elisp:git-r3|maintainer-needed@gentoo.org
7|app-emacs/prop-menu|prop-menu-0.1.2.ebuild|elisp|maintainer-needed@gentoo.org
7|app-emacs/idris-mode|idris-mode-1.0.ebuild|elisp|maintainer-needed@gentoo.org