Package: agda
Architecture: all
Version: 2.6.3-2
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-2_all.deb
Size: 3724
MD5sum: aeb680d7b543826a2288a37e2539f68f
SHA1: acab881ccb568f2db271919071b720d581eabc0e
SHA256: ac12efbf4b4cf698b047c115fbd091a4a307bc2f2dcfdc2196074abd910d8178
SHA512: ad6b7848e352e62033bcd5b3592a9e8d16629c366a686440659817f34f8de0a4dd610ec5e85ec19815d58d81b80135c2fe39fcdea277b5915a4e3f8a1938d9a0
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24