-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.7-2
Maintainer: Iain Lane <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.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.3.2), agda-bin (<< 2.3.3~), libghc-agda-dev (>= 2.3.2), libghc-agda-dev (<< 2.3.3~)
Package-List: 
 agda-stdlib deb libs extra
 agda-stdlib-doc deb doc extra
Checksums-Sha1: 
 9496bd8898d3a60ce3d6850fd11b10e16ed8df61 226400 agda-stdlib_0.7.orig.tar.gz
 afc0a300d03ac441dcdeb3be2ece83a9e0585f67 4455 agda-stdlib_0.7-2.debian.tar.gz
Checksums-Sha256: 
 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa 226400 agda-stdlib_0.7.orig.tar.gz
 fe86db1377238fb30cf0c8286952e969b10304bbb099e461afce5fe406634f24 4455 agda-stdlib_0.7-2.debian.tar.gz
Files: 
 ff390e42876caf97d4e96e0d6fb00b01 226400 agda-stdlib_0.7.orig.tar.gz
 41e0abf033a924b58e0b7758a6309ae3 4455 agda-stdlib_0.7-2.debian.tar.gz

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

iQIcBAEBCgAGBQJRo6bqAAoJEONS1cUcUEHURcsP/Rny+Plv2S/Fnm9ImSziWKG9
tGkkz0JqK1Tc31CT1RV4YTZ7R3F3uwPcFFcEuvuzBiM830hi9G1j615x4Dl/MpnM
h/eXDuUDRSUYQS6QlBBhJWnLwY8tAyBc5Iebp/GQAn9ym5JRR2QGRb3D0C7uXMSA
MYEuGR1+pKxJyIk0PwWVYv7FNHpfkQtL8dK5H+M86dbpRSti4wasJtLlQspry9MA
l7i1pNVCjnC3P49BLe4Ca/SSrvnRXNGGDV1ciPd0bBORz/y+h7G4B+i1GZwe8UT1
V4GrvYyjyeWVlmqk+JmGQJecLkXvOBABlWPgcTEhOJO0T0d8UKO++LWa9eHJ60ke
tJHzObegrbVmWCBMlCY6TecttCHYHh6T0+m+ahU+SsDWT+KGzYpP9hLIQPBZdDIb
i2qqYrGjIajiyWC6ArQuE3hYqORGlEiT4hX7OGxrlob9ijCBDRpdArdVfW60mxAW
E0O0ZkkkClud6knvHmbS6GLay8iXmI7AO+E63HhbF1zH76suqcfJNEMkgoNoGJlg
MgVzSNa3s4GhwtexKlvXcKhJO+dBQCkjVFB3FFwHGAN7rJl7pTA6z0yl5ffZZoVx
xfbyj3DqBXmFd7rUXFzmcQwYhgzBiJXapDBTxfwqywr+N8WNpQNE1WB4SbKoXX5s
9ZMKBI8iTZt0CTrNq/ck
=yuKV
-----END PGP SIGNATURE-----