/app-emacs/idris-mode/

• ../
• Manifest
• files
• idris-mode-1.0.ebuild
• idris-mode-9999.ebuild
• metadata.xml