Package: agda
Priority: extra
Section: universe/misc
Installed-Size: 43
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.3.2.2-1
Depends: libghc-agda-dev, agda-bin, agda-mode, agda-stdlib, agda-stdlib-doc
Filename: pool/universe/a/agda/agda_2.3.2.2-1_all.deb
Size: 2996
MD5sum: fcf40155efd4de6f36b9c172b5d06d0e
SHA1: 1cbbd9c2bf6633da511e1961e52907e434556a65
SHA256: bd1b55478d514ccf9e8fc47d93cc8cea4a1c57564b2ebe9fe0bfdb474bb4da6e
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