Gentoo Packages

Package: app-emacs/idris-mode

This package is available in the following overlays:

Overlay	Versions Available
guru	=app-emacs/idris-mode-9999::guru =app-emacs/idris-mode-1.0::guru
melpa	=app-emacs/idris-mode-20260506.2033::melpa
melpa-stable	=app-emacs/idris-mode-1.0::melpa-stable
nongnu-elpa	=app-emacs/idris-mode-1.1.0::nongnu-elpa