Gentoo Packages

Package: app-emacs/idris-mode

This package is available in multiple overlays. Please select one:

• melpa
• melpa-stable
• nongnu-elpa