Package: agda-stdlib-doc Priority: extra Section: universe/doc Installed-Size: 18357 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Iain Lane <laney@debian.org> Architecture: all Source: agda-stdlib Version: 0.6-2 Suggests: agda-stdlib Filename: pool/universe/a/agda-stdlib/agda-stdlib-doc_0.6-2_all.deb Size: 1696256 MD5sum: 0c8ad9a29c13dbbcca99417ab2b7386a SHA1: efce466c7d78feb82050545bcf83eda8c75cb561 SHA256: e2d54852422ba8bda676a922e835348760c9303f8ad9d609d5d99fddd7fb856d 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