Package: agda
Architecture: all
Version: 2.5.3-3build1
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: 23
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Filename: pool/universe/a/agda/agda_2.5.3-3build1_all.deb
Size: 3052
MD5sum: 31b05db49c47aa742f4307cf3bbb09d9
SHA1: 6db4803e591fd47ee5f99f8e7e2b6b9018409b39
SHA256: 2163d94fa698545894a0253fe0bf58f9ce1d2792944cd9ec52c8f4809b954420
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24