Package: agda-stdlib-doc
Architecture: all
Version: 2.1-4
Multi-Arch: foreign
Priority: extra
Section: universe/doc
Source: agda-stdlib
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 52976
Suggests: agda-stdlib
Filename: pool/universe/a/agda-stdlib/agda-stdlib-doc_2.1-4_all.deb
Size: 3664318
MD5sum: 0b07f88b979a6a74dd77a14e177d3e86
SHA1: f303daf900cabe387ac5d6b4c951f627c5549b06
SHA256: b9aadbbd68619cf971c5ee86513a43b271478ab058a75c3d68e2d044e02212c6
SHA512: 5b89cafc2559041de6bd8d9a89a6d2b7fe80fa2b83b709c1e1921a97df8600283e7e5e89a153a19427215f93318787edd70e39f6690b0af9be58912aa808a13b
Homepage: https://wiki.portal.chalmers.se/agda/
Description: standard library for Agda — documentation
Description-md5: fd3b8a8baa471f456e06046d5280b6e7