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

Format: 1.0
Source: agda-bin
Binary: agda-bin
Architecture: any
Version: 2.3.0.1-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Iain Lane <laney@debian.org>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.2
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, ghc, libghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~)
Package-List: 
 agda-bin deb haskell extra
Checksums-Sha1: 
 cacbb5508fb6d870e7ddf7edb8198aa3cda380ef 1765 agda-bin_2.3.0.1.orig.tar.gz
 701416a72a33937476a75b96f3c578dac1243004 3008 agda-bin_2.3.0.1-1.diff.gz
Checksums-Sha256: 
 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 1765 agda-bin_2.3.0.1.orig.tar.gz
 90a69a575cf80e327050b0762f5f29b291fc9df003ada748e36e95648491c0a5 3008 agda-bin_2.3.0.1-1.diff.gz
Files: 
 a9c803f0a829cf54d35b1a82f0ba6181 1765 agda-bin_2.3.0.1.orig.tar.gz
 112223eebe7ed70bcae66a2a008e9077 3008 agda-bin_2.3.0.1-1.diff.gz

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

iEYEARECAAYFAk9d+uQACgkQ9ijrk0dDIGzAHACfaUctIJ4FXYI/vBZDcPXnSt1t
NosAn1lfoe/p3r9crzWm47p1bZOfhX7B
=tt2i
-----END PGP SIGNATURE-----