-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 27 Dec 2016 16:10:53 +0000 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source all amd64 Version: 1.6.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Enrico Tassi <gareuselesinge@debian.org> Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files) Changes: ssreflect (1.6.1-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: b402615eb3257571b796b2cea379aad6ea98e9fd 2275 ssreflect_1.6.1-1.dsc 383d9f0a555b9fdaf37bc327bb909a60627572a6 4691532 ssreflect_1.6.1.orig.tar.gz cece0f88444c5fa1d41accdfe47d4307d2f536fe 12460 ssreflect_1.6.1-1.debian.tar.xz a072cfdb1a03d9bfe73f99d458904e3644e49ea2 24173054 libssreflect-coq_1.6.1-1_all.deb 6ce109af6e2196101c4f4a31d068cc416a18cb5a 35722 libssreflect-ocaml-dbgsym_1.6.1-1_amd64.deb f390cfd577f6c499d988c41901fe46d09d5c74c1 63758 libssreflect-ocaml-dev_1.6.1-1_amd64.deb b430ee8306005043fe4edb95b02f0743e7677ac3 352974 libssreflect-ocaml_1.6.1-1_amd64.deb eef38ea03367d600ef69575b97acdc180d02bf54 11269 ssreflect_1.6.1-1_amd64.buildinfo Checksums-Sha256: d1f99645a87a968aa604d5fbd45c8b7bddcf05eccb0c7447cd302213c846f8d7 2275 ssreflect_1.6.1-1.dsc 5c3e5d2e4020004280399de79b0935bff85db7865ed006450cbfe72fdfa33ec9 4691532 ssreflect_1.6.1.orig.tar.gz bd74230150aa88641bf59730ce6c2e23d436c6bfeb31061f67bb905b3ccd0418 12460 ssreflect_1.6.1-1.debian.tar.xz 9e778c6bd462a61fd3856f9727da3790897d4d2bf3f2d89ec0070c98074d2476 24173054 libssreflect-coq_1.6.1-1_all.deb 15d764ff5ccf1ab389ee5dfa248f66ee2ddd1681567c7da88b1da046ad4d8e74 35722 libssreflect-ocaml-dbgsym_1.6.1-1_amd64.deb 392a900fe325e802160f5ceefef1a99dfae0c58c9a385d50d0a278cbe2b0bc57 63758 libssreflect-ocaml-dev_1.6.1-1_amd64.deb a13515be38c9b599b63bdd3e4ee5a716c67f864e4e9a4d4279db2e5bb4fbebd8 352974 libssreflect-ocaml_1.6.1-1_amd64.deb fa94d7bcc5cdd8bbc043b37e7deed7f5ab326345906ec0a550b20028f1d9bfd5 11269 ssreflect_1.6.1-1_amd64.buildinfo Files: 7d65d2c98c706d77c563476ee46556f1 2275 math optional ssreflect_1.6.1-1.dsc 10d8a17134ddb509b4afa8d3243ee1a0 4691532 math optional ssreflect_1.6.1.orig.tar.gz 501d4466ed5deca6914523860ad20a55 12460 math optional ssreflect_1.6.1-1.debian.tar.xz 69e8851e99c9217e1fed58a358a63617 24173054 math optional libssreflect-coq_1.6.1-1_all.deb cc054e667009b55a3c6b055752953900 35722 debug extra libssreflect-ocaml-dbgsym_1.6.1-1_amd64.deb 75d812e5b073d5d721c24df63c1256e5 63758 ocaml optional libssreflect-ocaml-dev_1.6.1-1_amd64.deb c46a24993cc977c8020cda54816807c5 352974 ocaml optional libssreflect-ocaml_1.6.1-1_amd64.deb b358fa10ddb87adc08ab468fcb13c14d 11269 math optional ssreflect_1.6.1-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJYZio5AAoJECUFM8yim3ZPKCUP/23FfGdnEICusJSgsdOfR1KW uMXrbQTPt17Aw9lM3KBVlQHUO2cEIjRXFt7m5Y10Zw0o03SYigjSAiIVkpFf//TM hmkUxVILvGg0Nn70geFmSYTlMSsqjMyDL85XcvIkVbRjqBjR1nrXmUdFW2Mq5LkP P3moM+t10GkMYYdieXN5U4dAGf/uqEbJcYUtcmT7g/YRV6LKQ7E6KL3QAL16RYZn i9z+6fjb8di9Clh8+rO4aFwp66IGur4wIHlpeElYOh7ri5Rm77gpWPtkYL29tW/C clJU5iFA5eV+wQQBMjrnTFxHOlthg+tpMzki1dS3AOn5Pq3x5CHAUlJV/lw1eHLo e38UG/nIDaiojU/UkJsfA6WzQ/rJUkWBK6JzVnBEzSch1xjirZZmWgPYAGp4TuqP 7EN3mlG8ilIasByC1mpRZuiWxTk3USO4T+HTO27cVv/wX3KxmRVtq853ORQhfHE+ k5IFXZsm1/m+G0ijmotOYxwhfbcd86LoJHZs5VoBMsTXO6ZSu3Gm5m+F0kJuHOPu vo0VPN1sEUuFY//0Cxrh1aL1TK4D3ZHW4ciTgQE7cmyv6IFoJLBeK8kx+/LewYJo rX6t2uAPnLXISkKY2WXSIgryjTQjMcnc2fsrGNd0lPzwS32YW3M6sKQWUJZ2u8RC WlQGiOsHLdR+qqUEKUqD =tjeZ -----END PGP SIGNATURE-----
