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