Accepted ssreflect 1.6.1-1 (source all amd64) into unstable
-----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-----