Package: agda-stdlib-doc
Priority: extra
Section: universe/doc
Installed-Size: 21419
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Iain Lane <laney@debian.org>
Architecture: all
Source: agda-stdlib
Version: 0.11-1
Suggests: agda-stdlib
Filename: pool/universe/a/agda-stdlib/agda-stdlib-doc_0.11-1_all.deb
Size: 1265062
MD5sum: c6c1f7c1ea3f078ca977b59e65b24bce
SHA1: d2e410624a682e72df246d9f30ff95c8f9577549
SHA256: ab0e964896ab874ec3b3440ad0d7abba95c790afd00e0b97459664e206c8800d
Description: standard library for Agda — documentation
Homepage: http://wiki.portal.chalmers.se/agda/
Description-md5: fd3b8a8baa471f456e06046d5280b6e7
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu