Package: elpa-agda2-mode
Architecture: all
Version: 2.6.4.3-1
Priority: extra
Section: universe/editors
Source: agda
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: 210
Depends: agda-bin (<< 2.6.4.3-1.1~), agda-bin (>= 2.6.4.3-1), libghc-agda-dev (<< 2.6.4.3-1.1~), libghc-agda-dev (>= 2.6.4.3-1), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.6.4.3-1_all.deb
Size: 46334
MD5sum: bedd6916ebb44bc3a36b6f1da30400f4
SHA1: a3eedf4084e74cee3dec8f3dcb22dbf54dcb8c94
SHA256: dd7b5ace0207039ecdd6ff6d79cc30c2c5df25ea5a2eb8d6d00e32256630fae4
SHA512: 410cfd481e2787eaf46bcadaf57740f88bf4b34ddd033dd6592b7b0e951283f6d2f1aaeea9be1476d6aafae5395b3e4a3808b1929cc5fd1b564bdf3c10698566
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b