Information about "elpa-agda2-mode"
elpa-agda2-mode
dependently typed functional programming language — emacs mode
2.6.4.3-1
editors
Debian Haskell Group <[email protected]>
agda-bin (<< 2.6.4.3-1.1~), agda-bin (>= 2.6.4.3-1), libghc-agda-dev (<< 2.6.4.3-1.1~), libghc-agda-dev (>= 2.6.4.3-1), dh-elpa-helper, emacsen-common
emacs (>= 46.0)
None
None
None
None
pool/main/a/agda/elpa-agda2-mode_2.6.4.3-1_all.deb