Package: agda-mode
Priority: optional
Section: universe/misc
Installed-Size: 221
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: all
Source: agda
Version: 2.4.2.5-1build1
Depends: emacs | emacsen, agda-bin (>= 2.4.2.5-1build1), agda-bin (<< 2.4.2.5-1build1.1~), libghc-agda-dev (>= 2.4.2.5-1build1), libghc-agda-dev (<< 2.4.2.5-1build1.1~)
Filename: pool/universe/a/agda/agda-mode_2.4.2.5-1build1_all.deb
Size: 37272
MD5sum: f08dc824aab02a3687b9b9eeb69655c3
SHA1: 7cda99f8a6e7cff6d37ced32ca49c8a83d7a3000
SHA256: 8d5f750653efc0dfa03a458c9e6ead43539db5c1daa69e5528fb7f2d012155a3
Description: dependently typed functional programming language — emacs mode
Homepage: http://wiki.portal.chalmers.se/agda/
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu