Package: agda
Priority: extra
Section: universe/misc
Installed-Size: 70
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: all
Version: 2.4.2.5-1build1
Depends: libghc-agda-dev, agda-bin, agda-mode, agda-stdlib, agda-stdlib-doc
Filename: pool/universe/a/agda/agda_2.4.2.5-1build1_all.deb
Size: 2966
MD5sum: 73c11592175d460b0202b9ea300eb091
SHA1: a0203f5e13a02899c5d626dfa0533fffc2e6e879
SHA256: 001126037a4963fb0df6bfcc471a0cd42acfdf6f7063d1f28c811b811ac81c94
Description: dependently typed functional programming language
Homepage: http://wiki.portal.chalmers.se/agda/
Description-md5: 65333dc4f3e4d00a90419d96d9785d24
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu