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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.11-1
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.5
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.4.2.4), agda-bin (<< 2.5.0), libghc-agda-dev (>= 2.4.2.4), libghc-agda-dev (<< 2.5.0), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs extra arch=all
 agda-stdlib-doc deb doc extra arch=all
Checksums-Sha1:
 ee2a842a19577fcc5f8d42a2bf91331782387215 253251 agda-stdlib_0.11.orig.tar.gz
 860a1ae65d1cbcfaaeb9bda2180529efed484c4b 4600 agda-stdlib_0.11-1.debian.tar.xz
Checksums-Sha256:
 7982b119435dcac451d870a94c1db73766105b5572e4725eb0ce1f0c0ebf0377 253251 agda-stdlib_0.11.orig.tar.gz
 b3eb1565e379a148213accbd8ec8867734e3c0922180467344c8eb19c0c93cae 4600 agda-stdlib_0.11-1.debian.tar.xz
Files:
 beceb0d239ce694668472e6f3f1dfeff 253251 agda-stdlib_0.11.orig.tar.gz
 b7a5ea09a7b45ddb8dd57a09a49a4b5a 4600 agda-stdlib_0.11-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWim0mAAoJEONS1cUcUEHUTxMP/3SJKfmPSF5tLUyhcxR5F0wd
wSx9rlN2+WyPsFAp+p+LCZD8QgtOTgydnX8aOaNmTYp69oL4XSMGc5XZ0N6dbSSu
B3eFnWdrZUPNRI4ugPZLDwiV/3WCLDjdUNlji2mHz40e9X9LiIDPHbskEI5U+wdO
gNqKZS0RrW9MFYibAJgMM2KQyPUTfksSqZm1dEsEJ+ayw0t7vwllePcX6CjiTFeY
5kPLfVfUrLYNpNsY4zUsdnpILrCPsXePnYwU8fNlIzVcpW2qyOUXF8fQNmnDUs0R
o7bxiKF5MCfqVVu2kYhRpjKEw6yGG7l6/AeOE1+pWmEjaTUwH6WHIQEUwVS3Cg45
pl4Z8Mej2iBkLdPhRcsKQIR8RYvwC4wjQKRRy2eLykyTg+aT8uz+WjNh1iGhXsVn
JetHP69LoiVUGMQTFkdiAr2ZUCxsSAOW2I6ojjZh04ps9buVND4ccfjH2Z57ObYK
k12hJrPL0cX3UIcQwyKjnnV4XI4GLWvqtBLx1oJwi6BnvS2RnwWeZOeAehkEHfxj
KmAx3zDH6N+ugz577zeBCPkbuae+47Nq/47Ot7zzeQN/1QjG8/EQv0iTs3yzQSxr
igOjNOXB/2lddQYda+D6nM/FtCCwUO3iZVyyljdiIwq7HglaJzBgX4vvy9rFu71/
1WQ/hUtK+GJOYMlqyiGm
=Z77x
-----END PGP SIGNATURE-----