Package: agda-bin Priority: optional Section: universe/haskell Installed-Size: 35907 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Architecture: amd64 Source: agda Version: 2.4.2.5-1build1 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5 (>= 6), zlib1g (>= 1:1.1.4) Recommends: libghc-agda-dev (>= 2.4.2.5), libghc-agda-dev (<< 2.4.2.5+~) Suggests: agda-mode Filename: pool/universe/a/agda/agda-bin_2.4.2.5-1build1_amd64.deb Size: 4803616 MD5sum: 42921b8825de64ab5191f5e46ee12ed1 SHA1: cd6878ac7b510a9577abd00e39ca747cbf8f1b74 SHA256: b0ed268e4976324aac00526478fea9b39fa0dd627b5b613bd9ea83cecb68c7e8 Description: commandline interface to Agda Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: f8e26d204d9ccc3a3cfdad460ae35595 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu