Accepted agda-stdlib 0.9-1 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 20 May 2015 12:33:35 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source all
Version: 0.9-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.9-1) unstable; urgency=medium
.
* [b306254] Imported Upstream version 0.9
* [bb746af] Bump BDs and deps to ≥ 2.4.2.2
Checksums-Sha1:
56a91aca945f577eb6523d7b344c63462f2ad646 2098 agda-stdlib_0.9-1.dsc
f39d5685ab2dc47758c87d9068047fce6b4b99a1 248895 agda-stdlib_0.9.orig.tar.gz
15802feeea5c8cebf65e946c2e7293da306d2a71 4564 agda-stdlib_0.9-1.debian.tar.xz
146bfb303dedfe47d949e0c3144b91c9c2e2a696 1244584 agda-stdlib-doc_0.9-1_all.deb
895a71717fb5228783ae9e155c227e3e37a03652 11053016 agda-stdlib_0.9-1_all.deb
Checksums-Sha256:
0977d5b5683d8f624b53dfb191ae82d2c02f4c52a36593fb07e01d901d7421e1 2098 agda-stdlib_0.9-1.dsc
923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 248895 agda-stdlib_0.9.orig.tar.gz
6fc3d0f9f5ff9f5845dbde9e542e66e8b00bcead99a0379a1fcc03fa3220bf2d 4564 agda-stdlib_0.9-1.debian.tar.xz
a650b17a06828834bda46ed2dfb313ac50ab1a412e0ca8d27d17f9a48eecd7af 1244584 agda-stdlib-doc_0.9-1_all.deb
dc5d59487a0d09eb8acc675d639c78c790c419b84906cbda6ae70868daae899f 11053016 agda-stdlib_0.9-1_all.deb
Files:
c1f4e163a54a94aa66c74063b04c90ae 2098 libs extra agda-stdlib_0.9-1.dsc
d22adf380b33b401e786132a4bfc8597 248895 libs extra agda-stdlib_0.9.orig.tar.gz
fc17883893577428aee35a57b404e84b 4564 libs extra agda-stdlib_0.9-1.debian.tar.xz
2446d2c60f4ea4b33d7393d4c78386ea 1244584 doc extra agda-stdlib-doc_0.9-1_all.deb
f12ab0f54571c03f092636eca9673305 11053016 libs extra agda-stdlib_0.9-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJVXHSCAAoJEONS1cUcUEHUUe0QAKNmMQUCarRkxqW1yUfd/2MN
/R3If/stk6OaQofrqcTjcs1WED5u5jDf89F1dqoqxvFHekKuykQIS0ZWbjoQlNfD
SxPveqXrwh/3w3OavDyTnORXBO7Cvye3NeUcOp2Fug8OqOe3Fx1Tcg70zeRhUCv9
NlC8OUrpcMcXrlJzzvck8Aud/MOjBeSgq1CyiKlHVJZ+mmaERtcjAZgCHRzcb9ZQ
TeWOl4ucVpyFcK9MxM5cBlUI2gIKjKK+J5VB3/mD7WznFermk/198LRwBKbtxPiS
pAx1uoLbbxh3rGbigIAlzkxeuk+VO5RZlZ8sSv0k2bGjlp4v7rp8F62dqYVsRErz
D7s7xk9au6xENONgEzI5r8+UkNISzkqkqAv8b5m0UHx+FDuJDTOWamKJMq1iz7ef
9x3ugN748dzqBo5R7/dP/3X7R6NcyM0nWDP03MV0ekCNCcvvZxUw7IOKAPrhTF06
OOLb/aZZh9BdpRXqclVV4AZTgs1ZtD+TSeIi0EUNT9A9rPIZyCivzJ5d6wm4PRbV
5YWT3DPO8RKAbGenzPzFv2w0lRB/MDScJ5rk3OHyIPZa17KreU2V/H87VmDukwHb
SGLJqg/PXgRBp5VVFRqHqoQB0sy47XbVv8e2165voIsPDzyL3eR3zTKWyJyCXxpi
eT3YWiw6nbHDsCKX1CDA
=cZ+g
-----END PGP SIGNATURE-----