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