The annotated tag, debian/1.3pl2-4 has been created
        at  cc98711dffae91cbd88621c17d782fa25f358edf (tag)
   tagging  65d50eb4b9e803c448279b4df746b312b0d1e03d (commit)
  replaces  debian/1.3pl2-3
 tagged by  Stephane Glondu
        on  Sun Apr 1 17:27:30 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.3pl2-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJPeHPiAAoJEHhT2k1JiBrTpl8QAKH7i52d5oMKEyHYoanoiBWt
P84ExyvJbBvS7CPhDbpJJfOTSEypEsGLQVkXpG5ggLBkPOt8L0I2GJUEQYSytCTu
fDueE0UbhI7a/0u3oQnySinrqRDQGIG4ooxYtt92NuLpjw5cQmqoC4DnCDBKH+Th
rN+u2jom2lVW7AE+1y1CcB3qUyZyglIn+2Te1zqVoN1SIQbc+6iMEsDacIwOVHts
9ABbjFn4fmftUjpBsgVF2n+BBR/7soJkchy2kp1SB3tAMJbM7m7thBFMlnu2acnU
w6V496Z+sC3N6gmGWVGdnckpV7ydxSbKql2RI3g+pL4FdqABpHHgSTuLA5anrMPA
+G5MUXUZskSDGpgGQHjdlCQq+9oVyBSMIeTBHZcWHJjGoAhwW9bV1wvdNvNpcO5c
tbsbidVAcnbaMsC7DiYvd8Mq+VBmTpOZNEovep6q+s/ChPKAgth9yKsvGo1rd09f
GzOPdMUG52Pc4nAU1LK/qCPOE2Q3/SefaXxRPaak8R/jC451hyNwlN42qbodCZ9D
ldIAUsDrn65DtRq7MKXWtFDWUL89FDmiAehmugiC9HclGRjlhGu4uSy1s4QfWoOr
uqSAsTKNBZ7FWkAPNMjM0Zv5XZhAPseXAXUWJuErMf1YJjrx/shBVSNVMJA5Jmql
j1XyznFUpGXLUdVJlcPV
=6S0F
-----END PGP SIGNATURE-----

Stephane Glondu (2):
      Fix compilation with camlp5 6.05 and coq 8.3pl4
      Update changelog and prepare upload to unstable

-----------------------------------------------------------------------

-- 
ssreflect packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to