Package: agda
Architecture: all
Version: 2.6.4.3-1
Priority: extra
Section: universe/misc
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: 19
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Filename: pool/universe/a/agda/agda_2.6.4.3-1_all.deb
Size: 3736
MD5sum: a49c9cf19d8c5541651a5db84512cd0d
SHA1: c63089ce647c920cad4da340c96e166006458bf8
SHA256: 9a5c42d63c94862bb104f1013973bad291f89495209c6bac55bd671249398e1c
SHA512: 64ea271e2b494e69506b936b7d1b634c9b1fc5130bf2d84778c2e3c6065d966577cbb63ead7ff5ad71d0479b6ab4e39fa66bc62204068947256cba69b6149d74
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24