-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.6~darcs20111129t1640-1
Maintainer: Iain Lane <laney@debian.org>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.2
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.0), agda-bin (<< 2.3.0.1~), libghc-agda-dev (>= 2.3.0), libghc-agda-dev (<< 2.3.0.1~)
Package-List: 
 agda-stdlib deb libs extra
 agda-stdlib-doc deb doc extra
Checksums-Sha1: 
 fd13159da12cd011e0edc2b81052ee3a94dfc83d 165999 agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
 9d91a139664fb5634ad119be54212b0cc3bdf88b 3982 agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz
Checksums-Sha256: 
 9e7bee0c3c8058a9ea9e77827dd35e2adaa5adcfe9771446d11dc607ee9cf8e6 165999 agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
 44e5b2b66a9f5d245a1d05351dddfbcab751e1b741575e63c3bc0b71aa860ce4 3982 agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz
Files: 
 feeff5b81c3e22f350946ce39c832a85 165999 agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
 8a3fd6e47a9b62bde79beb6d821ce107 3982 agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz

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

iQIcBAEBCAAGBQJO1RTvAAoJEONS1cUcUEHUpTgP/jvHXCIoEFVqk6IXcCrqQFDk
Z2WkcKCa2y4k5DJv+jeaqadDOmLJD3UsoWZ30b9X6rHweUvvGmT5l+BGx2pTXw13
jvSyVoZrQEc+najXOfJ7tmkdrosYfyi4vLQicS/eEw5qXjbgEYTbLRURFXC+6cGq
mx2iLNJR8jPxbgjGvvCCwRbxmn7LAgDpzTOLC9J0yoGNmWAJqygbdCv6IoGRjMS8
TpT7/tac5riEyYG61qxnA8elN7/E7yEppsfp8BKvKEqP6LkybaffE/t5j/tX0hYA
CE0nv/syHwBa8B6wDA+tiWoyY7yq0QiEYaZqaiXZ8h6tZ+9ZFZ7Ge+Vz8CBQ/Gom
XIsQJ9ZaJrg9H1PMOBXAkzuvh1zUtdeGZFbqlVR2knU62PCPI+kgVrv5L11iqjSR
LkhdodwuDxC70dZAYQCY1+ROxMZH7JMUCpZNsIbCwf3R7e2rzNnUHkDQYN3TTgyg
sxY3w7XogPmw3c2SVhuX1kFDKf5ICqTQXMJDMSW2F4q6Rxaw/AY4YgaKb6/bqM1H
7PacFlqHzVVbYY48jJ63ZeOx82IVw0vIeKjyVGzTJZsplsP5pa/m0FEjk2NDRF9j
Mg4UcA5SJz+V7XhSc26qnLQ0Joodkf1jJGN26x6pp7ZVDvVMTBXhCLGYOFdYyv7Q
W3n5sjxgI81Zd5uSg73g
=OGtt
-----END PGP SIGNATURE-----