Package: agda-bin
Architecture: amd64
Version: 2.6.3-2
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: 68293
Depends: libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.3+~), libghc-agda-dev (>= 2.6.3)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.6.3-2_amd64.deb
Size: 10935004
MD5sum: 3fd4316af4d80d13501f7ffb0c6bf9ba
SHA1: 7e1f9c7bb03c130c066cd874230f6a1c014f2771
SHA256: bc8cbda9a68037520c2daf1f911f4e91bd0c94228e103a1355870b30b98be4cd
SHA512: 490fa7b77fd57193388c277548d3cbd707772d89d343bbaba654b0e7d812af0786413ba51ca37ea3d1f3cb2d6e7e84361ad2fe61b3d52316e6ca05476306d5fb
Homepage: https://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595