-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 29 Nov 2011 17:00:35 +0000
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.6~darcs20111129t1640-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~darcs20111129t1640-1) unstable; urgency=low
.
* [ef445ab] Imported Upstream version 0.6~darcs20111129t1640
+ Darcs snapshot required for Agda 2.3.0 compatibility
* [f801f83] Update BDs and deps to require Agda 2.3.0
* [c52be90] Use 3.0 (quilt) for bz2 orig
Checksums-Sha1:
5867248eb4f8473f45e1b3f713da4ade96bd8d00 2135 agda-stdlib_0.6~darcs20111129t1640-1.dsc
fd13159da12cd011e0edc2b81052ee3a94dfc83d 165999 agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
9d91a139664fb5634ad119be54212b0cc3bdf88b 3982 agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz
4d9a1aedaff2b92d6152b796649614c10471ebb8 16327244 agda-stdlib_0.6~darcs20111129t1640-1_all.deb
143e99513361b1caff0e81a7da027aec338faade 1642616 agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb
Checksums-Sha256:
9e651eeae9acb51c2a257c783ac0b41b120b30141fff39755cc915f98f5d6cb5 2135 agda-stdlib_0.6~darcs20111129t1640-1.dsc
9e7bee0c3c8058a9ea9e77827dd35e2adaa5adcfe9771446d11dc607ee9cf8e6 165999 agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
44e5b2b66a9f5d245a1d05351dddfbcab751e1b741575e63c3bc0b71aa860ce4 3982 agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz
557ef3affdddcbd8a699e55f4c4e4c1c1ae0386665759b814dc2a08816509956 16327244 agda-stdlib_0.6~darcs20111129t1640-1_all.deb
78a68620a42cd45b350f74dad9c73d061b1b034107c51c56335b2db86e372130 1642616 agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb
Files:
aaefb7fe2ce26a1fbd8b00ed9d7675f8 2135 libs extra agda-stdlib_0.6~darcs20111129t1640-1.dsc
feeff5b81c3e22f350946ce39c832a85 165999 libs extra agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
8a3fd6e47a9b62bde79beb6d821ce107 3982 libs extra agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz
9e64c2d0203905e509b0bcf43b5b0713 16327244 libs extra agda-stdlib_0.6~darcs20111129t1640-1_all.deb
bc55f7fd8880127ddda6930bb18e21aa 1642616 doc extra agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJO1RT5AAoJEONS1cUcUEHUzg4P/RdQ1X4kRTHDkUPQJOzVEOwo
iRKr25Tpb1WVUg3E0dt0wLdQer9Q/dR10QwAujYZqbNR0/VDyVXNe+Kwo2GrBuTf
AqfUdJenA1fWAUqrZroMqnqXJj/bhIkkL4L9kbP12vVbuxmNVmaZAYbz/+lDqohj
wbuPDn5gD8y1uVUct3H1GzUZ710Gd27JIpb+Fw5AFtfn6nRihOZSfc6pWVWgPSh3
X+JTditECsg02Wlfj5xNw9m/viuN9oZ8+RC8GfvoqRcLsW1JlOBHPzuo+Ikfwas9
zZOMVJR1foInCYSVDij90HqFKboneNPyhHWuLNiDX19IWxgjwVajD6tQbPvuqhtr
wVE9QQLf8veS+DQMZyr7K+bJHzcrWTvEWmPCHmUOM6wB1+wmSJs7z9u64oeCMy9i
L09bCkqhCxpSjzZdmDTLjY0p9iQ0SyUIZBvIgQEz4KrjFQW6hME4t3wYwj+MGJNf
pujFcWk0kmmRxrtO5V79xL3Smgh0tMVJO8Jd6tdoirWaFGaeFPDI9d3+COS87QwP
1L/FBa/lM+xqwltsiyczLfnTU7TWfQO44TecQPi2yJlb9NRA85vsAx61JNEwTfvi
xEHnlLxwhUPoTIzu3IdUUEB13b0L+ybukgVD0a4kJzaGSA4YCPHlfiqp6e72fjpS
N+ZedxEIDR7ySLZbBzTc
=n77D
-----END PGP SIGNATURE-----
Accepted:
agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb
to main/a/agda-stdlib/agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb
agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz
to main/a/agda-stdlib/agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz
agda-stdlib_0.6~darcs20111129t1640-1.dsc
to main/a/agda-stdlib/agda-stdlib_0.6~darcs20111129t1640-1.dsc
agda-stdlib_0.6~darcs20111129t1640-1_all.deb
to main/a/agda-stdlib/agda-stdlib_0.6~darcs20111129t1640-1_all.deb
agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
to main/a/agda-stdlib/agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2
