Package: agda-bin Priority: optional Section: universe/haskell Installed-Size: 25982 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Architecture: amd64 Version: 2.3.0.1-1 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5, zlib1g (>= 1:1.1.4) Recommends: libghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~) Suggests: agda-mode Filename: pool/universe/a/agda-bin/agda-bin_2.3.0.1-1_amd64.deb Size: 4888692 MD5sum: a9f45867ed4146e8250209c7e433918f SHA1: 6a385c569835af8460f02d1ce70cbdb46ae56649 SHA256: ef5d5fbbbd98264d7a600c0201ce11ce48176435ad4301d9d25b6e836acf470c Description: commandline interface to Agda Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 38d95357f19414643f496617c8b13d2c Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu