-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 30 Dec 2011 20:02:46 +0000 Source: agda-stdlib Binary: agda-stdlib agda-stdlib-doc Architecture: source all Version: 0.6-1 Distribution: unstable Urgency: low Maintainer: Iain Lane <laney@debian.org> Changed-By: Iain Lane <laney@debian.org> Description: agda-stdlib - standard library for Agda agda-stdlib-doc - standard library for Agda — documentation Changes: agda-stdlib (0.6-1) unstable; urgency=low . * [a88bdc0] Imported Upstream version 0.6 * [7aea5f2] Update copyright for new copyright holders and for new DEP5 Checksums-Sha1: c0073bf1956d7a76616fd894065d411e99951f29 1999 agda-stdlib_0.6-1.dsc cd822c4b504415d42f584f970732474231a3239f 216273 agda-stdlib_0.6.orig.tar.gz b5f254a545dea28a422149246377072a10f88ecb 4088 agda-stdlib_0.6-1.debian.tar.gz 955f29c8facb6c6cad67d81c191e75ba97c15c6a 16954024 agda-stdlib_0.6-1_all.deb 08fb2ab806b8b950321d48830abda060a4f6e5f1 1696360 agda-stdlib-doc_0.6-1_all.deb Checksums-Sha256: 85ae44bca5a5a091a393f52dfd0945db4075c660f1eb0235c69c6529331c657b 1999 agda-stdlib_0.6-1.dsc f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 216273 agda-stdlib_0.6.orig.tar.gz 8d0e78827fddfa3dc402f57b2a956e23d2e5dc7d1ae7e6f1f7bbc84009499879 4088 agda-stdlib_0.6-1.debian.tar.gz d749af4ef3b6f0637b94919c77cf08fc8e57502eb361aa3b5d7ab0e176cf023a 16954024 agda-stdlib_0.6-1_all.deb 1c917684f4a93070ad19df7e9973c85762a2425119c0063c154aebb0736d38bf 1696360 agda-stdlib-doc_0.6-1_all.deb Files: 2798ae47b224ff6d71e17d432c4bf1ea 1999 libs extra agda-stdlib_0.6-1.dsc 574f7e4609b98c7c486fd182fc1d4579 216273 libs extra agda-stdlib_0.6.orig.tar.gz 45e60383a449aaef8e9792c8bd8e4618 4088 libs extra agda-stdlib_0.6-1.debian.tar.gz 6c4eb8f67c5251f298f00f8a9a818290 16954024 libs extra agda-stdlib_0.6-1_all.deb 6008749ab25260310eceac9e5e1a7feb 1696360 doc extra agda-stdlib-doc_0.6-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJO/h7AAAoJEONS1cUcUEHUoW0QAKrvC1VIsabbXbiU0Q6aYEVW CKQAqdistVNFOWMlKKMbCLubroe9zfxcTeFQgrPYaNJiKQvDmMjIgfs2JB7Il5jZ ng9IsA4NWduEacppodjxVZewWKRlFWBfV6/s3FfMWeFNOItU2B5xiTMDvfc441Be 5bqQcreojoK0Mu9d5LY2HdjhoBoIDd91/bBaGq99l4ifTsD4VstS7JKCF6yZZ+Fr 6rPQHlD5hiavawVuWS3npQa8ZIYWHJ7QKZP2hOtPV/IOYU170s9FO3f6LNW7f8Mu yqysdCKHK9sV6q6HtDUFmwdguqJiHDsTdjS2pPbnh0fT02qUQiRCEZglhoeGvgjI p96QHj7QMSAIIYOy9ox7xdq3ZJMEfYkJrv/8xz4mizM/EoPuK71OGxRZX7VKCi4O SMyQIAoFeTn54h5tCy+kNydPr55z+Gsk+KCjxdd3Rh7bBT6dO067DfQXY0MkxKW0 535Mi8ymNvFXyvdcVc62AjDUrklg9iXYIPwaJAuLea4RPcEEwFTRxiH9T7CEUd9K WBVFZ0vMs+k+uHsGXFSxBVTbliOkAo2uHG+/7t5cunQ8T6bJiigADnArEqvlJrgT GcsbmMZJ9GVy+uQ53cBPoJCBCxgQqOTkO3JuKc/M9yHA/bWmaRPGywqi0rT2CfKV FFZaZgnFkynPikw/QAjP =HWtI -----END PGP SIGNATURE----- Accepted: agda-stdlib-doc_0.6-1_all.deb to main/a/agda-stdlib/agda-stdlib-doc_0.6-1_all.deb agda-stdlib_0.6-1.debian.tar.gz to main/a/agda-stdlib/agda-stdlib_0.6-1.debian.tar.gz agda-stdlib_0.6-1.dsc to main/a/agda-stdlib/agda-stdlib_0.6-1.dsc agda-stdlib_0.6-1_all.deb to main/a/agda-stdlib/agda-stdlib_0.6-1_all.deb agda-stdlib_0.6.orig.tar.gz to main/a/agda-stdlib/agda-stdlib_0.6.orig.tar.gz
