Package: agda-bin
Architecture: amd64
Version: 2.6.0.1-1build4
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: 47011
Depends: libatomic1 (>= 4.8), libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Recommends: libghc-agda-dev (<< 2.6.0.1+~), libghc-agda-dev (>= 2.6.0.1)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.6.0.1-1build4_amd64.deb
Size: 6571852
MD5sum: 2200a9a525c378d559ada554b063260d
SHA1: 12197566c9cbbd75f27739b4552e00e43b6031f9
SHA256: d536857d5bfa015487b2c9f1c21f8c326b7b19957becee898b1d75c7b293f5f9
Homepage: http://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595