The annotated tag, debian/1.3pl2-2 has been created
        at  50bcf66e383c44b44b7f00a82da06dd68167e372 (tag)
   tagging  6940bc840a3569702a3442d528f927f0ed0e44af (commit)
  replaces  debian/1.3pl2-1
 tagged by  Stephane Glondu
        on  Sun Dec 25 17:55:56 2011 +0100

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

iQIcBAABCgAGBQJO91WcAAoJEHhT2k1JiBrTKPEP/2VHpCMRnCVUVOaImyoJaJJK
rIwm2GFbU4t55G3UKBMWxz7UZQzGsjgeSZirA0N0oE2eoypCYzYMsE2b0leuInOV
en8uLrV9A5cPG0fkTUyiXA4KeCx7BhknwXRhyMHZygE4QfLDkIHodMcuqb0f9VJ/
n4svDxAbbxQTSIChOy8wJTfoD5Cx7TwD1ZG6ammvj7zFJSNlTqUpJ4A+ZPNiZQT/
vTI1ZOG4ik/3sjp9XtRW2+3g0AgkOAyn0yMnCMy8Bu09CU4064/1IlJBbFSqUV4e
X3rz4xasMzke3xQ6byJGdY69ZA5ksoSYx6K+l5MImRwI6RWzvWg1LdjYk0TiR/pc
XnRVfiww4K61tg8sm4K6R2LCaG6LItVrTcGRos9eTijtNkVwd1fUAXTzo3PcwoeT
Gd5L/tRUEuEGVNgpik4sOZGiX48NCc6+U6Gg3lUwQ0ydL6QmxpgjuRQTtyNeLr5z
EcO0OkF55gu3XW3p5QtUbfXkwOzceP2DecfPVnN8oKzXkERStzxZTVTHUJMoR3Ls
oAXgTCNVOVRWa6QMEH6oWM7lIHYpf6hNQpslc0IbSXDMyMEGSWHnaxtCKqTIRTk2
ISzf381I4t8IK/QWdXeMBMdhTXqGYGSpWKJngsmuw+ZyqphThK9IPgK7krTk9z70
2SPOGUslnkmUaQvx6H0B
=oFEN
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Refresh patch
      Cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3
      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