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