Package: agda-bin
Architecture: amd64
Version: 2.6.4.3-1
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: 66552
Depends: libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libnuma1 (>= 2.0.11), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.4.3+~), libghc-agda-dev (>= 2.6.4.3)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.6.4.3-1_amd64.deb
Size: 10540652
MD5sum: d61ceecf5e38c38f40b6bb3ffcf25835
SHA1: 3dccd6233c17ac46ce395d70e2e7eccdb8f7c1d7
SHA256: 7b5a983aa557bdd29121f0085b2b3354b824d4dcb51160c32e57600a49308fe0
SHA512: 848efce709c78e7a2aa666bda8f8db9d9bd181351624acd7ae67cb47b417977482c8dc526a1159739ef84e96264d45b1c9bcaaf35577d7d2f02d0ac1a6e62b80
Homepage: https://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595