Package: agda-stdlib-doc
Architecture: all
Version: 1.7.3-1
Multi-Arch: foreign
Priority: extra
Section: universe/doc
Source: agda-stdlib
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Iain Lane <laney@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 42726
Suggests: agda-stdlib
Filename: pool/universe/a/agda-stdlib/agda-stdlib-doc_1.7.3-1_all.deb
Size: 2981076
MD5sum: cf80cd3180eed043dcf32d17b5e77fd9
SHA1: 4b18bf48e0127b54c2f3e4e3bfe62e80484005a6
SHA256: c22ae103d5c36a2beec58f4701e8f203056d89d6cd572ac024e85cd464cfe12c
SHA512: 0497e0714fd0dae2e6ef67fa7dbcea2d8bb26ae2f0da8d574f9105f105bccddb0d61c8a91e656d6ff2afd831af92da6ba400eb3c4330bd5172a93cbb021a31ca
Homepage: https://wiki.portal.chalmers.se/agda/
Description: standard library for Agda — documentation
Description-md5: fd3b8a8baa471f456e06046d5280b6e7