idris-mode : Idris syntax highlighting, compiler-supported editing, and interactive REPL ( https://github.com/idris-hackers/idris-mode )
prop-menu : Compute pop-up menus from text and overlay properties ( https://github.com/david-christiansen/prop-menu-el )
Pour rajouter une e-build dans l'arbre de portage :
L'ebuild est alors rajouté dans l'arbre de portage.
Vous pouvez aussi utiliser layman : emerge layman puis layman -a guru
Pour Paludis utilisez ce rsync : rsync://gentoo.zugaina.org/guru-portage
En cas de problèmes : ycarus(-at-)zugaina.org