Package: agda-bin
Architecture: i386
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: 33941
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_i386.deb
Size: 5735576
MD5sum: c852c5a70d706ab8e27da2b45328a539
SHA1: 7503065ee778021d50d7c3943c07a5d3b46eba82
SHA256: 51eccca39f03f56a5be8a32224190afa5b3caba3a6a9e862d7831822d24b408b
Homepage: http://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595