Package: agda
Architecture: all
Version: 2.6.3-1build1
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.3-1build1_all.deb
Size: 3758
MD5sum: 8647661391d308be74d29ee4b5159c29
SHA1: f8d087c4ca8ff13fe0823a65093657c712d63b74
SHA256: c267113407f03f3b035b9f1236622fc461b2a81e6cc7f26d595821314562eba5
SHA512: 586e0c662327c47ca9c533817127baf083fcc8fb9c661cf95d7448f809be4b807f49a66ee65ed9bfb58adb7aef67c912d53a9ebbc4e1e98481e73f40983eba66
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24