Package: agda-mode
Architecture: all
Version: 2.5.3-3build1
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.5.3-3build1_all.deb
Size: 3584
MD5sum: 786c3bb9eddcf422fe4dd21894ab3ee1
SHA1: 7a62c71edd29dd9ccc2c1be7c29727dd2c4da346
SHA256: 6cf08bf23a949c71f3c69ab44ffdafc437db400f5fceef380e4236a8860ac20d
Homepage: http://wiki.portal.chalmers.se/agda/
Description: transitional dummy package for elpa-agda2-mode
Description-md5: b4ab993ba79d4001f6691d6c30eef4fa