Package: agda-stdlib-doc
Source: agda-stdlib
Version: 1.7.3-1
Installed-Size: 42727
Maintainer: Iain Lane <laney@debian.org>
Architecture: all
Suggests: agda-stdlib
Description: standard library for Agda — documentation
Multi-Arch: foreign
Homepage: https://wiki.portal.chalmers.se/agda/
Description-md5: fd3b8a8baa471f456e06046d5280b6e7
Tag: devel::doc, made-of::html, role::documentation
Section: doc
Priority: optional
Filename: pool/main/a/agda-stdlib/agda-stdlib-doc_1.7.3-1_all.deb
Size: 3040076
MD5sum: 266d394cf6784a6bc60b365872c85185
SHA256: aa93814cad6f45436b4909865741c5daa8ee4d9e7d6977ed92a7558c4ef0d7d5