Package: agda-bin
Priority: optional
Section: universe/haskell
Installed-Size: 28361
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: i386
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_i386.deb
Size: 4784082
MD5sum: 34e5ab381bf8828981f1702f26c2aa06
SHA1: 184da9b0b41626ae9cb3a04bb028d8f374b232d0
SHA256: e5fa5b1bc8ecfe631503347c0f5a6187aa8cb7ac29de0094adb9effb0e3bf16b
Description: commandline interface to Agda
Homepage: http://wiki.portal.chalmers.se/agda/
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu