Installion's Lion Logo

Installion.co.uk

How To Install agda-stdlib-doc On Debian 9

To install agda-stdlib-doc just follow these instructions.

Install agda-stdlib-doc

standard library for Agda — documentationDebian 9.0doc0.12-2
sudo apt-get install agda-stdlib-doc

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

Package Data

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

Dependencies

agda-stdlib-doc is not dependent on any other packages.