Accepted ssreflect 1.2+dfsg-6 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 15 Jul 2010 13:41:07 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.2+dfsg-6
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-6) unstable; urgency=low
.
* Rebuild against OCaml 3.11.2
Checksums-Sha1:
1a47375ad82e8d3d980a33ff90e5cb7626f85339 2130 ssreflect_1.2+dfsg-6.dsc
b70323d4678d690968cadac496fd38b9385460a6 12593 ssreflect_1.2+dfsg-6.debian.tar.gz
fdfbba557f6d75bee6610cde0360079bf32b0df5 384788 libssreflect-ocaml_1.2+dfsg-6_amd64.deb
4e6602cdf40c87e16f8a127a5d13660fd3209255 322434 libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
98ff1b69feef13c90ed043c0750040dad1fae04d 3661858 libssreflect-coq_1.2+dfsg-6_all.deb
Checksums-Sha256:
b4fc183af48df987a4b988e08867898108be7276d48c7de27f04591935f05cbc 2130 ssreflect_1.2+dfsg-6.dsc
9adb37db0d1920ca526a54831d7ce2e8b29fa959a99b6b2b325a8d1636f76cc0 12593 ssreflect_1.2+dfsg-6.debian.tar.gz
01a6c18b72df5098bc94723e7706e8da2b03c756389c8ef46ac4ebf1f1ff9d20 384788 libssreflect-ocaml_1.2+dfsg-6_amd64.deb
51605d2eeeb8eed8c59aae00f239e6e51771c70b385c01fef282aaf69221ca89 322434 libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
db2bcb22856e85a94019bb397b958347cbdf3ee0b25461f356e2e3afeabe49fa 3661858 libssreflect-coq_1.2+dfsg-6_all.deb
Files:
4992b4d16374943aee3efd58c34f3dd2 2130 math extra ssreflect_1.2+dfsg-6.dsc
734d516f163a8b6880a612ca14bc9d7a 12593 math extra ssreflect_1.2+dfsg-6.debian.tar.gz
b9048cfd7856a84861e2bfefe58dc970 384788 ocaml extra libssreflect-ocaml_1.2+dfsg-6_amd64.deb
f76cafb26a90ecfb315655dc40d796e4 322434 ocaml extra libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
c3e32ef1842d8cd835460f8ee5749984 3661858 math extra libssreflect-coq_1.2+dfsg-6_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJMPxgTAAoJEHhT2k1JiBrT3/IP/RBMJh9pVeGpeAuV14+qGXvx
NytvzJXbC/jfSoSfx0xW6pJC2JfdmSUBjcS1p1YMG9zHetkPfb9RbWx4dadTBa1R
zPE8ecAnlbTvljMgXAKE8bii0MEGt41GiP+AIfO4Gh77Tq/AQ/QeGq3nKLgJef74
n5COs8xIoSaR8BZ4MVRGNNsJIbWvh//DFEU5l12rvniHDPg1u+B+Dj0FULt/4oFq
kTRNGo1b8pA+toKsRrj8wciRPwc68kluvlLBHKSRPlDAIFzzc8of8iJWWT++1T7I
VcsCLbJ61xk1xdgH2+Ommge50vdVKNrGlsID4rl6OKd+NT38gcntR/o7OMW9N7gq
vXhS66+8InqN285vKjLspj0YooOeeoM8cIBnQcK2S7ZR43cfML/OfFHP1K1sfajk
sToj94idnN8XCvDRTad5vdfqzzj004ihifjGp4ikiZQCbaEFxh9+hblst4fEkZFq
e4DuExbclQWkwlac+nE8bogrFp5DTx8AsVBpxE6KbugWP9nAu0YIodzvhFDZowAG
g4XafdLu2DyQsj/SRvI7PMBMz7Ljuku3+uNKzo9O09mWPP8Hm/OqQfoppgqqEFjf
UFNaE0LPrTRIfrMJYeWpK/YIC8aI2LDiJWrggXpbijmDGFIOHj3dsfGkqKdPK99I
Aam0FjCP9xtXrRU1IXH2
=3IDN
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.2+dfsg-6_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-6_all.deb
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
libssreflect-ocaml_1.2+dfsg-6_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-6_amd64.deb
ssreflect_1.2+dfsg-6.debian.tar.gz
to main/s/ssreflect/ssreflect_1.2+dfsg-6.debian.tar.gz
ssreflect_1.2+dfsg-6.dsc
to main/s/ssreflect/ssreflect_1.2+dfsg-6.dsc
Reply to: