Installlion's Logo

Installlion.com

How To Install agda-stdlib on stretch

To install agda-stdlib just follow these instructions.

Install agda-stdlib

standard library for Agda Debian 9.0 libs 0.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
Descriptionstandard library for Agda
Distrodebian
Releasestretch
Repomain
Sectionlibs

Dependencies