-----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 Uploaders: Debian Haskell Group 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-----