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