Package: agda-stdlib Priority: extra Section: universe/libs Installed-Size: 18857 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Iain Lane <laney@debian.org> Architecture: all Version: 0.7-2 Depends: libghc-agda-dev (>= 2.3.2), libghc-agda-dev (<< 2.3.3~) Filename: pool/universe/a/agda-stdlib/agda-stdlib_0.7-2_all.deb Size: 18142868 MD5sum: 24b6810c72d0ba267ff24fbb62e45099 SHA1: 184f477fcfdfcff7de4fe6d51f6167215a1f91d0 SHA256: 29e59703e1593cdc3c2e9e3c04003810bf149bed8442728bf97c29b6c249146d 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