Installion's Lion Logo

Installion.co.uk

How To Install agda-mode On Debian 9

To install agda-mode just follow these instructions.

Install agda-mode

transitional dummy package for elpa-agda2-modeDebian 9.0misc2.5.1.1-3
sudo apt-get install agda-mode

Which will install agda-mode and any other packages on which it depends.

Package Data

Packageagda-mode
Version2.5.1.1-3
MaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Home pagehttp://wiki.portal.chalmers.se/agda/
Descriptiontransitional dummy package for elpa-agda2-mode
Distrodebian
Releasestretch
Repomain
Sectionmisc

Dependencies

agda-mode is not dependent on any other packages.