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

Format: 1.0
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: any
Version: 0.3-3
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: 
 ffdce8c14f6f8eea1b8bb617e427222ff20dc3d5 150153 agda-stdlib_0.3.orig.tar.gz
 b943e64be16fe5a412ab6307e52db72ca5a1c615 3774 agda-stdlib_0.3-3.diff.gz
Checksums-Sha256: 
 73c0bd5d91728c6561a35338263ed04878c2d3eabb4e5f5ebdc79f666ef5fc8d 150153 agda-stdlib_0.3.orig.tar.gz
 c2f91462358a29277fb774df13d775ae2e077666534542b227e34222b8c8a846 3774 agda-stdlib_0.3-3.diff.gz
Files: 
 7a58639a0fdfdb4b748de208d657d999 150153 agda-stdlib_0.3.orig.tar.gz
 e309e8ec7aecdd882dfd7234e34c42f9 3774 agda-stdlib_0.3-3.diff.gz

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

iEYEARECAAYFAkuORBkACgkQhAwOmkV1TkS3EwCeM4MwvHxVY4ylXYFaepSs2rKX
9jcAn0Hs6L8zdFHcFpGGqscgdhJdmqO8
=uZKs
-----END PGP SIGNATURE-----