-----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-----
