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