Installion's Lion Logo

Installion.co.uk

How To Install agda-stdlib On Debian 9

To install agda-stdlib just follow these instructions.

Install agda-stdlib

standard library for AgdaDebian 9.0libs0.12-2
sudo apt-get install agda-stdlib

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

Package Data

Packageagda-stdlib
Version0.12-2
MaintainerIain Lane <laney@debian.org>
Home pagehttp://wiki.portal.chalmers.se/agda/
Descriptionstandard library for Agda
Distrodebian
Releasestretch
Repomain
Sectionlibs

Dependencies