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

Format: 1.0
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: any
Version: 0.3-1ubuntu2
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~), 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
 7b1a969188c586e1dc6e1be735c7d1cbf08ffb90 3735 agda-stdlib_0.3-1ubuntu2.diff.gz
Checksums-Sha256: 
 6761d21659ef90cedf039290d8bda3ffb252575fb3e0bb67e6f783f65bb161b3 153277 agda-stdlib_0.3.orig.tar.gz
 505e092c89b6a368885db60d4d8008a3d3787447c58302626a25ec6d1cac6a58 3735 agda-stdlib_0.3-1ubuntu2.diff.gz
Files: 
 aeb109e24dce44f18c4d9726c7a38892 153277 agda-stdlib_0.3.orig.tar.gz
 38e03faf151fec85c6ee0a5c6e43094b 3735 agda-stdlib_0.3-1ubuntu2.diff.gz

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

iEYEARECAAYFAkt6in4ACgkQPy0SnCC/zcdktACfQ4iVoZY1/L5dmTyxVgNXqmcA
bJ0AoLEu8Sc73kQAx+rriKs9y/7Ax2ua
=RiWu
-----END PGP SIGNATURE-----