Accepted ssreflect 1.2+dfsg-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 11 Feb 2010 10:30:30 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.2+dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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.2+dfsg-4) unstable; urgency=low
.
* Rebuild with OCaml 3.11.2
* Bump Standards-Version to 3.8.4 (no changes)
* Update watch file
Checksums-Sha1:
fb07295f5da1f1a118573404a1f9b6d1a8854e0f 2130 ssreflect_1.2+dfsg-4.dsc
b2a0628481f55110f6ba93f21d84b83741c73eb7 12498 ssreflect_1.2+dfsg-4.debian.tar.gz
4b1f8a2d3bf430fc45bed436f69bd04c05071d1b 384670 libssreflect-ocaml_1.2+dfsg-4_amd64.deb
d2bb0883a775edc3fec4c54d9cb51d3d07950099 322310 libssreflect-ocaml-dev_1.2+dfsg-4_amd64.deb
96fefeb973afae19f5f5176a5c1ff085f8938585 3662536 libssreflect-coq_1.2+dfsg-4_all.deb
Checksums-Sha256:
057933d93378088f8cfbcf78f09180da97c563f8a97930fab4cac203ba365c35 2130 ssreflect_1.2+dfsg-4.dsc
6dca68d5fd6250395057378d125d0761301a2da431ed4d270469376fe352a36f 12498 ssreflect_1.2+dfsg-4.debian.tar.gz
eb21090820db37866506326e76078d9121a5dd94b75a3bd5d85fc7a59bf61bcd 384670 libssreflect-ocaml_1.2+dfsg-4_amd64.deb
5371884d0570d5dc883169bb34201918ab3909f845f54fdec876cb3a49158c91 322310 libssreflect-ocaml-dev_1.2+dfsg-4_amd64.deb
03fc2a6411b0a35a04fde42bbf04a109da1e516aa0940487f44eab903d5bf8f7 3662536 libssreflect-coq_1.2+dfsg-4_all.deb
Files:
e8d4e1d5566f4462897d3221103fbb0d 2130 math extra ssreflect_1.2+dfsg-4.dsc
395ecc5f5f952d989d945161ab82f62c 12498 math extra ssreflect_1.2+dfsg-4.debian.tar.gz
2abccd5d9b4811ec9949eb22c4cc9343 384670 ocaml extra libssreflect-ocaml_1.2+dfsg-4_amd64.deb
84f0a4c1ff35000526446470f00fa24b 322310 ocaml extra libssreflect-ocaml-dev_1.2+dfsg-4_amd64.deb
80db1ef8b856304c92b0723fe4c4f7a9 3662536 math extra libssreflect-coq_1.2+dfsg-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLc9HnAAoJEHhT2k1JiBrTMiAP/i/NjSbgZBz09Vh1Jpc9DXUq
of9y6P4ti/uNQqHZoFqZ1t+NrBNy48zX/CXxH8eQPg5ierd7CTsZGSe61vTzOve+
WknCpIv9ThDgGmqx/GEYFSWjAODwd6D1B7j5TOof8nygIPYXmfL1Oc0LvQRlj5Wd
uCZM5USJUFy1fOj20I6b5C16cNTYUbbEupd6dSx6jg5gt3u5jTXq7H2k9KvQoV/A
ovoa6SQNLtOkyd8ED1nNpDFTuh+c94Zy+SE+sFfCehe92CX1s+24IUWTupWW7fjv
WI/URrLqPXoReXYWrz54Tf+HXEo9YcwuCYvtBe9ttOITjJGBR7l/xRowpaIjuoR+
3po2ogFQlV6QJ5L7W7ChuWu1Gpxq6yb6BPap+mpEVsM2/HKBF+uR+WOabIE9DYiP
2cpL/Lx06ZG++xJy8TBRFZrS4rZYjeJuxoNSgYLgJ1vXuQj8H4cJHhJrV6gKjhIi
WJ2yyww642jOP+XwEJKpllftcyLL2LWt4O/vVsSsrjaBCTzdKsDenVeSTvSU0YwY
oWGXCxkDxkCgHPY19aeAUphHCNT29cb9BJOEVm1WC/j/Fql7WThodSdYaZ+XB8fq
J8ckRHYscFN+mVIquKeAl2yU78MjFGmEL8sr6zm3dtKzHjYY4I0JkNBnIztglaHl
Kcx5eoMonBxaWgI5JoL0
=g+V2
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.2+dfsg-4_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-4_all.deb
libssreflect-ocaml-dev_1.2+dfsg-4_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-4_amd64.deb
libssreflect-ocaml_1.2+dfsg-4_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-4_amd64.deb
ssreflect_1.2+dfsg-4.debian.tar.gz
to main/s/ssreflect/ssreflect_1.2+dfsg-4.debian.tar.gz
ssreflect_1.2+dfsg-4.dsc
to main/s/ssreflect/ssreflect_1.2+dfsg-4.dsc
Reply to: