Installion's Lion Logo

Installion.co.uk

How To Install agda-bin On Debian 9

To install agda-bin just follow these instructions.

Install agda-bin

commandline interface to AgdaDebian 9.0haskell2.5.1.1-3+b3
sudo apt-get install agda-bin

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

Package Data

Packageagda-bin
Version2.5.1.1-3+b3
MaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Home pagehttp://wiki.portal.chalmers.se/agda/
Descriptioncommandline interface to Agda
Distrodebian
Releasestretch
Repomain
Sectionhaskell

Dependencies