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

Format: 1.0
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: any
Version: 0.3-3fakesync
Maintainer: Iain Lane <laney@ubuntu.com>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.8.4
Vcs-Browser: http://git.debian.org/?p=collab-maint/agda-stdlib.git
Vcs-Git: git://git.debian.org/git/collab-maint/agda-stdlib.git
Build-Depends: debhelper (>= 7.0.50~), procps | hurd, agda-bin (>= 2.2.6), agda-bin (<< 2.2.6.1~), libghc6-agda-dev (>= 2.2.6), libghc6-agda-dev (<< 2.2.6.1~)
Checksums-Sha1: 
 c038354984eb0c74c4fe81f3745481307e5796ef 153277 agda-stdlib_0.3.orig.tar.gz
 1d70020369ba7413089fd8b6eb7b29b6fec550c3 3830 agda-stdlib_0.3-3fakesync.diff.gz
Checksums-Sha256: 
 6761d21659ef90cedf039290d8bda3ffb252575fb3e0bb67e6f783f65bb161b3 153277 agda-stdlib_0.3.orig.tar.gz
 602c2d27de2f467b3939001e97556d78c1db01b5f83fb247214f3216a71b3235 3830 agda-stdlib_0.3-3fakesync.diff.gz
Files: 
 aeb109e24dce44f18c4d9726c7a38892 153277 agda-stdlib_0.3.orig.tar.gz
 ccbdcdf66b7f5b448b4fb18c4e889973 3830 agda-stdlib_0.3-3fakesync.diff.gz

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

iEYEARECAAYFAkv8PYIACgkQPy0SnCC/zcerbQCgsP0xsXlAvwZ2wmmkPj1NN2Dq
unUAoLgjPDVD5yEWKBFMOof7Mhu5t2kr
=bqN3
-----END PGP SIGNATURE-----