Package: elpa-agda2-mode
Architecture: all
Version: 2.6.3-2
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-2.1~), agda-bin (>= 2.6.3-2), libghc-agda-dev (<< 2.6.3-2.1~), libghc-agda-dev (>= 2.6.3-2), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.6.3-2_all.deb
Size: 46304
MD5sum: 8a53e522902b7b6ad2120f43697331a4
SHA1: 1e3b97da86b274d8dd53ad7a9b01ee632709b517
SHA256: ce92d5f70ea8ae1df0276e39b65734adcc79a3a0b449c90ee7f4bc59d6825352
SHA512: 0363c7618ff69895888240339849a4ccce2ce65991a1f9791d424602e1a58b2e174d111d9c29a3263e0264f663505869f32993a26efafade381047ad3162f8ef
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b