Package: agda-stdlib
Priority: extra
Section: universe/libs
Installed-Size: 22849
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Iain Lane <laney@debian.org>
Architecture: all
Version: 0.11-1
Depends: libghc-agda-dev (>= 2.4.2.4), libghc-agda-dev (<< 2.5.0~)
Filename: pool/universe/a/agda-stdlib/agda-stdlib_0.11-1_all.deb
Size: 17502462
MD5sum: 125c4c7481a155ee1d7c5f713d4a77b1
SHA1: 7e5f1f35a4c713a06875f73ae1b7a224cc2430f4
SHA256: 9b96c8c49fef99f840c5ea8426bcfcf5b25474f3348d40610031371f8dc0fd21
Description: standard library for Agda
Enhances: agda-mode
Homepage: http://wiki.portal.chalmers.se/agda/
Description-md5: c45346ed5a4053d9d174e9325e0d533b
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu