Package: agda-mode
Architecture: all
Version: 2.6.0.1-1build4
Priority: optional
Section: universe/misc
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: 23
Filename: pool/universe/a/agda/agda-mode_2.6.0.1-1build4_all.deb
Size: 3644
MD5sum: 52bfc8d75d1b5dde576d0b1594c3f2f7
SHA1: 757ec4c5f30596e6664a0a7da6d84fad4a6d4495
SHA256: 2aaf9f7a284d1979d95fad99a618df8d38f8aced5eaf9b1c74be7b707fbca19f
Homepage: http://wiki.portal.chalmers.se/agda/
Description: transitional dummy package for elpa-agda2-mode
Description-md5: b4ab993ba79d4001f6691d6c30eef4fa