Package: agda-bin Priority: optional Section: universe/haskell Installed-Size: 28621 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.3.2.2-1 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5, zlib1g (>= 1:1.1.4) Recommends: libghc-agda-dev (>= 2.3.2), libghc-agda-dev (<< 2.3.2) Suggests: agda-mode Filename: pool/universe/a/agda/agda-bin_2.3.2.2-1_amd64.deb Size: 5476328 MD5sum: d3c546feb9fedb671ebaa88c7c479548 SHA1: 35c52569f1364dfc697b2e0212cc357bb68f6ff4 SHA256: 9a333f782b0b1e5e7a04b184b3730aa98c4041a6c4816ff040d76bc1247a7205 Description: commandline interface to Agda Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: f8e26d204d9ccc3a3cfdad460ae35595 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu