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