Package: agda-bin
Source: agda
Priority: optional
Section: universe/haskell
Installed-Size: 69663
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.8.0-2build1
Suggests: elpa-agda2-mode
Depends: libc6 (>= 2.42), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libnuma1 (>= 2.0.11), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.8.0+~), libghc-agda-dev (>= 2.8.0)
Filename: pool/universe/a/agda/agda-bin_2.8.0-2build1_amd64.deb
Size: 10986814
MD5sum: 12a60e78b3e8bf4d59bfa034bccc747d
SHA1: 114d51cd238ad2221a552a64fe3925ae6edf11e0
SHA256: ae38e95750eefa81781ee843c22557f1d79ba59edce61e8ed214b740a73d935a
SHA512: 4bb583ccbd02bbf71d87f7e39833a2a0d9b58f647bd6d06bc9c600498cab3bd9fa5774a85e1ef4d4c8944624379bbf2549f3d70bdd3cc90e5be4c4e2c53f0424
Homepage: https://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug