-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: agda-bin
Binary: agda-bin
Architecture: any
Version: 2.2.6-1build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Iain Lane <laney@ubuntu.com>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.8.3
Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda-bin.git;a=summary
Vcs-Git: git://git.debian.org/git/pkg-haskell/agda-bin.git
Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.6.15+nmu12~), cdbs, ghc6 (>= 6.10.4-1~), libghc6-agda-dev (>= 2.2.6-2~), libghc6-agda-dev (<< 2.2.6.1~)
Checksums-Sha1: 
 436a8447f2b974f94d0d4216f7d4c05574986ab7 1681 agda-bin_2.2.6.orig.tar.gz
 a239c41c8f94518c80b37e99003573e897a7ef0c 2503 agda-bin_2.2.6-1build1.diff.gz
Checksums-Sha256: 
 7baab70c305989c02ef206095f19a15cb70abe536f6e647bcd3844ebb3c0f2fc 1681 agda-bin_2.2.6.orig.tar.gz
 e04822589263a2d0b0242cfbef7b4f3b92bee7c7700fdf8982056f7e13066342 2503 agda-bin_2.2.6-1build1.diff.gz
Files: 
 d88d9504500a32fabc2c883991059b68 1681 agda-bin_2.2.6.orig.tar.gz
 28ea18f0954b3d8958f6098707475a1a 2503 agda-bin_2.2.6-1build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAktpWOYACgkQPy0SnCC/zce2lQCfbgUbQO/VyDN26fW6q3+DLIGZ
97gAnjd/kstw7M5cMBjbZ4I8yLr2x/oz
=JpfM
-----END PGP SIGNATURE-----