Package: elpa-agda2-mode
Architecture: all
Version: 2.6.3-1build1
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: 212
Depends: agda-bin (<< 2.6.3-1build1.1~), agda-bin (>= 2.6.3-1build1), libghc-agda-dev (<< 2.6.3-1build1.1~), libghc-agda-dev (>= 2.6.3-1build1), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.6.3-1build1_all.deb
Size: 46250
MD5sum: e8ebc3a1682d12e173e5f736ac9ad306
SHA1: 003924c2c71ce8948115d7206d3678a44335db81
SHA256: 23e194e8395b27a7b853607986d0584832ce9d19f5474df48d9c44e63dbb0ffd
SHA512: 2adb2e90786209460a7766fc43c8d564edb6ff59c88619721fd5de08a25b9cdd94a735364226537f5fc203480c6d36e437b20c3c244038443f1c1438383455cc
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b