-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: agda-stdlib Binary: agda-stdlib, agda-stdlib-doc Architecture: all Version: 0.9-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.2), agda-bin (<< 2.5.0), libghc-agda-dev (>= 2.4.2.2), 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: f39d5685ab2dc47758c87d9068047fce6b4b99a1 248895 agda-stdlib_0.9.orig.tar.gz 15802feeea5c8cebf65e946c2e7293da306d2a71 4564 agda-stdlib_0.9-1.debian.tar.xz Checksums-Sha256: 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 248895 agda-stdlib_0.9.orig.tar.gz 6fc3d0f9f5ff9f5845dbde9e542e66e8b00bcead99a0379a1fcc03fa3220bf2d 4564 agda-stdlib_0.9-1.debian.tar.xz Files: d22adf380b33b401e786132a4bfc8597 248895 agda-stdlib_0.9.orig.tar.gz fc17883893577428aee35a57b404e84b 4564 agda-stdlib_0.9-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJVXHSCAAoJEONS1cUcUEHU7MUQAKijdeSBmLZysMNdBf+Lcopt gkdZF73abGU/q6MDs4w+N2ScnvvJ+NT5w2iOBsO8RQUGaK/rKhz48FKlVl7VbwdT U0tX4g6nyPi5trIOo/8E3uQz2h5fC2/sG/gbS6p3IGMFBSy9atYYvBFF/vUF8itL 6hkNX7dV3hKFiFg3Yro8JTaZVZF/lURsGVFGgrN4SeLA7UNbYLkB7Q25VJe/39OZ 1d1n3RE8peECPC9xfFoUlqfSHPERVrklKhTUwn+vBUPkmnyRM4S6J57z3vyzQS45 SDmDTxS18g6CmBxGl3Ui2y9vWYrOxCaU4hoWlpmaIzw2Y5WcI2R0mwlRn2XSw7Rk sL1EXTwyr10Z1CFB5a+1bDYUxUPp6teHilWyjVkwIz8dMitF741XhGQXYijYf/WS 5K1Fnhny+0Ql7H5Cp+1Iv0ODSVx0+1cBfj6pXqKWPHP+Zt1JlP44H6P6ML76rE8Q AUfueQGkO59ITJvWVf/GupkcqyzUTtp6rSFzt5Y4+tfQ3lwWQr4Ctt6sPPUoS4M2 7tq/5w3T1VP8XbdvRKxke7A39VtXr6GCoR3XrI7M1/KulBXmCS8rnnN0x8pqvfxC BxU0M+yHUrfQVzejOlpJbHK7QwUD9/NVhdNLZttg/rFkILUS2PRjes+/DzPvUeJS T3ojEz6QhPRB1z9ZFqSG =TA33 -----END PGP SIGNATURE-----