Package: agda-mode Priority: optional Section: universe/misc Installed-Size: 189 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.3.2.2-1 Depends: emacs | emacsen, agda-bin (>= 2.3.2.2-1), agda-bin (<< 2.3.2.2-1.1~), libghc-agda-dev (>= 2.3.2.2-1), libghc-agda-dev (<< 2.3.2.2-1.1~) Filename: pool/universe/a/agda/agda-mode_2.3.2.2-1_all.deb Size: 48080 MD5sum: 55d29847a1814a691b2c476eded980c7 SHA1: b1b682a4a3cd43974857336490653ec071be20eb SHA256: 256ea59aff33ffe0f08fe99c120926eeba67d1c3fe89c51d3eb3d8c879ef0e32 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