Installlion's Logo

Installlion.com

How To Install libghc-agda-dev On Debian 8

To install libghc-agda-dev just follow these instructions.

Install libghc-agda-dev

dependently typed functional programming languageDebian 8.0haskell2.4.0.2-2+b1
sudo apt-get install libghc-agda-dev

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

Package Data

Packagelibghc-agda-dev
Version2.4.0.2-2+b1
MaintainerDebian Haskell Group <[email protected]>
Home pagehttp://wiki.portal.chalmers.se/agda/
Descriptiondependently typed functional programming language
Distrodebian
Releasejessie
Repomain
Sectionhaskell

Dependencies