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