Accepted agda-stdlib 0.6-1 (source all)
-----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