Package: agda-stdlib Priority: extra Section: universe/libs Installed-Size: 17687 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Iain Lane <laney@debian.org> Architecture: all Version: 0.6-2 Depends: libghc-agda-dev (>= 2.3.0), libghc-agda-dev (<< 2.3.1~) Filename: pool/universe/a/agda-stdlib/agda-stdlib_0.6-2_all.deb Size: 16955470 MD5sum: fb0a929d76a9fd96894af6b0192d2351 SHA1: 784f6b7339f21f7374048fa71447684d16a55eed SHA256: f2ab6f34690688140d7b331b45fa265b9178349bb19d438e1a030ab7ac5e101b 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