Accepted agda-stdlib 0.8-1 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 05 Aug 2014 09:46:46 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.8-1
Distribution: unstable
Urgency: medium
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.8-1) unstable; urgency=medium
.
* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script
Checksums-Sha1:
3a01f22acb133c1ee0b32c818e2ff55b1ea24874 2072 agda-stdlib_0.8-1.dsc
b62ab7e2947874ac59cc07200f14c803cce67894 246158 agda-stdlib_0.8.orig.tar.gz
9dbb502fd78343c3b5ec606926b7d881753dbb64 4468 agda-stdlib_0.8-1.debian.tar.xz
5ca72581ede01fbd41a267c0edf762cc4200ee9e 23539228 agda-stdlib_0.8-1_all.deb
e7a4d04b4d68ca2adf1bd0d729282e6eaf6e0b8e 1243388 agda-stdlib-doc_0.8-1_all.deb
Checksums-Sha256:
adb1b9fdce26e0373cf4d34bc6d5d476266b7a0fb374d16ee386907c8dc34ff9 2072 agda-stdlib_0.8-1.dsc
e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d 246158 agda-stdlib_0.8.orig.tar.gz
e09c66cdcee64169cf40d58586b493af96c5a8772ad0574baac6945b72d471a6 4468 agda-stdlib_0.8-1.debian.tar.xz
6686c6597afe42055a0a31a7070a0d4e11468558a4ec1afceb21dace2c48c388 23539228 agda-stdlib_0.8-1_all.deb
99b17ff9199e6335b063ac9bbd47b093db757483e9d8689bdf27d7eb67e80f10 1243388 agda-stdlib-doc_0.8-1_all.deb
Files:
bebaaa6342c1f31090bef73fe29de04c 23539228 libs extra agda-stdlib_0.8-1_all.deb
d1ffa5e48c5c000b2ea6f94cbcaf8338 1243388 doc extra agda-stdlib-doc_0.8-1_all.deb
a9c9902fd8fd8182575d525c691a95d0 2072 libs extra agda-stdlib_0.8-1.dsc
1aa28dad829473428f95bda1b79e4cda 246158 libs extra agda-stdlib_0.8.orig.tar.gz
4f430d5571eb82d1b7cb7192ec18b1aa 4468 libs extra agda-stdlib_0.8-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJT4KJoAAoJEONS1cUcUEHUj4cQAJ3t6j+ZYJkJ3E/RmBabQVmH
YLEl9fRhHeGZJlB6O+GxsB1ENL/8mrlAPAT+fQw9RKMpb9KsGQvCjuvanSLDc+iA
ZfC8Xo1g0lTPu6kVZDaUdc+Kyusp4OHy74J7SX1/nc4hpqeX0KgCE1cTggXFmUvW
zKh9OrglOWqh4MoOHIBF6NL3JKmOrabC92G6PYKEkgOgSlHXz81bbE3tjPhLD7OC
OU5YNCxul0RVRXwgnLBqm6wwjliaptGi6ByWSKjHqIFCyUi3rFtWjaUir5+/Ly+8
JI+gWKMwBKA+bSaItZy3PKOS2yHKMu+p7aAEkZ7NjY+oGGu5qm2ThKqvW3/B39z6
cFdp/GMnWOPOFqlsHlhV8+0l8yl7451dLpCsfF7KUtFskf4XOvsbSA8+87Gvms0/
gZubR6Jv9HJRXqQlSv7pCn45EuTmwNjlE2NZsLC2X2WmvY3x+GlTkLmwNn0WDtHt
ML518uHXtyE7Hji/MtR/a/ZmqssIKKMPDtDYWqo7MdWNUfksLhcZCIkZ+eGdN2er
VLMaR930rswca0wOh00TG4I0i+6oHsta6iUL2ycTfto8o6XAuml+pDnpxb2ncBM5
evwEQycy5Wn3KX4xv4J62iT/iABUSttrl7gdZBRDm82OPAscMHL+yiscAjUytBv0
KidFr/I42uHKpKCYXcJ/
=fBu9
-----END PGP SIGNATURE-----