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