app-emacs/idris-mode
Major mode for editing Idris code
-
idris-mode-1.1.0~amd64 ~x86
View Download Browse License:Overlay: nongnu-elpa -
idris-mode-1.0~amd64 ~x86
View Download Browse License:Overlay: melpa-stable
Bugs
Bug # | Severity | Platform | Status | Description |
---|
These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title,
to do a more through search please visit: http://bugs.gentoo.org.