[Pkg-ocaml-maint-commits] [SCM] coq-float packaging annotated tag, debian/1%8.3pl1-2, created. debian/1%8.3pl1-2

[Stephane Glondu]

The annotated tag, debian/1%8.3pl1-2 has been created
        at  4191c6180efd51ad8c3f407b146b73a4ea293ba0 (tag)
   tagging  bc4b4a963bb312c8215b1b802203159dc9883b45 (commit)
  replaces  debian/1%8.3pl1-1
 tagged by  Stephane Glondu
        on  Tue Mar 6 09:37:38 2012 +0100

- Shortlog ------------------------------------------------------------
Debian release 1:8.3pl1-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAABCgAGBQJPVczSAAoJEHhT2k1JiBrTl48P/i+3/3CCu3HjgJ2DD3/PempC
S/pWp7VO2nC7WZwuA3ZrTH1nXWhrsbLxFyAQetc0MTSDX1xbhl5spihAhx8ItXYR
obwX/ZTBjpX2mE9xB5b51Yzs5p2SPivacVpFhJhCBHOGp82+4KVv9qrnmUD2Fo+n
G2RgUQftkRLff6eOQ2OB+4NTiDiGtR9mAVNMC0FnQBmXfJrmE8ot0nOTCUFcUEhm
Zv15zV5bGHTlW1Vo/ddPAF/UwxxEXR57vKZQQ/udNjIMF8ZqlscHah4TQWGZX/la
Hf4uPY2mP0bF5jpXXU1OBw2lGCaHh/18JDn3desS/CjWZRR6nJ7IvNwPrNy8JWBh
X/8GkuCmZx7A7Z6ZVcdGmmKqcPqbDA/rd3MDpZ8xpW4kerS+jdfHqwHftrJV45GT
EmAcyLw/2u4ZT6haOQsViZebUX8eLHDRh04At3lKcgQb3bObOOTrfmw6J0KaSY5V
5nQFqJPVtSuV2QTMm1rWaG8KMiawuo2Qwb12XkfqphjiIbQ5Cv2he5/0h+9oBsc6
d/CCWfJzVNSvdRNwxRu7s+QDhwwIPaB32l+QrwDtwoNFYP8rwW1FJahJSOeZRdKe
KYE3qo4UtV1gY6kKR0xIZOwZn0x2G6DDOmWf37AlIL1EahHQRUL3yMd08oiEcBqv
6MGSWoe0S81TvGe2leDv
=MNO8
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Recompile with camlp5 6.04 (no changes)

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

-- 
coq-float packaging