Package: agda-stdlib
Architecture: all
Version: 0.14-1
Priority: extra
Section: universe/libs
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: 23685
Depends: libghc-agda-dev (>= 2.5.3), libghc-agda-dev (<< 2.5.4~)
Breaks: agda-bin (<< 2.5.3)
Enhances: elpa-agda2-mode
Filename: pool/universe/a/agda-stdlib/agda-stdlib_0.14-1_all.deb
Size: 18159516
MD5sum: 8e08229012cb3fc34676ee6f1d1f1e32
SHA1: 052cf662ca3cf1e29f8b810401f99542f2da3426
SHA256: 07cd4cdb700571b1f5f533cb78046d8692b3779460162b202178a7258ec2d7f7
Homepage: http://wiki.portal.chalmers.se/agda/
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b