-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 14 Jul 2010 15:19:10 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.2+dfsg-5
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-5) unstable; urgency=low
.
* Rebuild with Coq 8.2pl2
* debian/control:
- replace Conflicts by Breaks
- bump Standards-Version to 3.9.0
Checksums-Sha1:
4692fd6227bd4364909c4234503ae674e32a3a20 2130 ssreflect_1.2+dfsg-5.dsc
a77fe18b5252a4ef9f9f7793d39b0e128de80362 12570 ssreflect_1.2+dfsg-5.debian.tar.gz
ac2aae879fe19327ca2421973936727cc16e4121 384724 libssreflect-ocaml_1.2+dfsg-5_amd64.deb
7eddb0263140b812a65bca26e12debddc7060b0d 322444 libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
81e47817e14ac76bc064f79daa2c1f7bf73cb3ad 3661856 libssreflect-coq_1.2+dfsg-5_all.deb
Checksums-Sha256:
75c5c7b6511b728e67e26db017a9da6da000b5fdf9b827ec75095faac576fc54 2130 ssreflect_1.2+dfsg-5.dsc
baf8c0795c79e9cb92080be89d4989c71ce9cfc230792c458880b09d282ca4fd 12570 ssreflect_1.2+dfsg-5.debian.tar.gz
0b773a61bf0ebeb11b07be6fe0d0fe518371a2150bd7041a570b986df1ebedc6 384724 libssreflect-ocaml_1.2+dfsg-5_amd64.deb
36cb69de6ed4485fed999ce3ff2ebbfe3d90799168f8c05f1e3a6129a129c5dd 322444 libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
759d7007daad28500557a683d7d632ba7bae534c3db1a87fea6af572bc18d36c 3661856 libssreflect-coq_1.2+dfsg-5_all.deb
Files:
5e712fd15aad61bb9ffc05957a858914 2130 math extra ssreflect_1.2+dfsg-5.dsc
fbb3d6b7b3afb80562961431a6ff7b9a 12570 math extra ssreflect_1.2+dfsg-5.debian.tar.gz
b9dcf1ee67413c3cab43d089d1c15150 384724 ocaml extra libssreflect-ocaml_1.2+dfsg-5_amd64.deb
0ee8fd603ce5f4f51be99cd22a6be98f 322444 ocaml extra libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
540ac1ba6aaab71078cbc0c6c7244693 3661856 math extra libssreflect-coq_1.2+dfsg-5_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJMPb6aAAoJEHhT2k1JiBrTyqcP/A79tKHwmXvtJzru6mgKr5/y
k7Eq2L8lMDlZbXA2dAuCMTuKMWZld4FwRAP7YbZcByjGg+3Q9x9kqrQTXoTPVU/m
UI7Ubd+fTjwoqXu4sR4txubu8+rlxxT4DZXfXxjnMqtX5YnOelTwVY42B9F01sak
iIZh+t+ZfnUIbM+PV4YpGTTN/2MsVF2YUdGf1t8mhHlhqZEGpHSZ+e5DjSY2oQCC
AyRastRTpsYuWPpbEy/SUti+P7Hk1906XZMgBwPV6QtSnVWl7OeVCL/RN/X8+XsX
VoY0cv4kBT9U8cPrGHeYooAIGPplvyvaMOsa9Mq9/L2bZ+GN7kYVi7fFGwr3QmE1
rGyy4jvVsfLxA2lsd0lbJzZSuqNkBTERccWKDVNQkx/OISGTE0y32zVqushOEnp3
yC/KwIG3zZ5xUFisI16d3w2VVOi6POs4fyfLUB+cEn1pWBzhhrMKAy0VCwGa2Ucn
yrjIuiBwBDSaqUpfoTkD0gcR4IRExraAxFHHhmBnmRHc7pNOvjjUCSkiYjp74e6m
Tyw1aiSTitTwanQtmkMaKPLDHuYeb9obIiTfgktq68dTAgXBRgykoUEJlUfQzkEo
+L1lgqruczv6C0nRkhRfEV/SJ2YSbB5u1al4+cKZVNHc/CJS545Vo6/O/yUH9x5e
NuSlCgUsf6RvaD1cBD9M
=RzIG
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.2+dfsg-5_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-5_all.deb
libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
libssreflect-ocaml_1.2+dfsg-5_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-5_amd64.deb
ssreflect_1.2+dfsg-5.debian.tar.gz
to main/s/ssreflect/ssreflect_1.2+dfsg-5.debian.tar.gz
ssreflect_1.2+dfsg-5.dsc
to main/s/ssreflect/ssreflect_1.2+dfsg-5.dsc
