[Pkg-ocaml-maint-commits] [SCM] coq-float packaging annotated tag, debian/1%8.2-1.2-9, created. debian/1%8.2-1.2-9

[Stephane Glondu]

The annotated tag, debian/1%8.2-1.2-9 has been created
        at  811505143ce7a6b3d8c9a70cdd85ae223271f2ef (tag)
   tagging  bc26d5e7e8d75611af911b71d4c0c3a49ac9aa0a (commit)
  replaces  debian/1%8.2-1.2-8
 tagged by  Stephane Glondu
        on  Sun Dec 25 18:17:35 2011 +0100

- Shortlog ------------------------------------------------------------
Debian release 1:8.2-1.2-9
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIbBAABCgAGBQJO91qvAAoJEHhT2k1JiBrTeN8P9i+5cYZ3lYRrfIPfKuVGmlST
aYjqbEtAwoB7lU5RvS7RkVpVBYdHf7ObuQt0AHvBnYvCx1uADTsAbHy/PV+lJiGi
wrePD6H7wk2RBNnGyVhCEY9BtpmgC7KwdRl2eE7zxJnKHMaBdYcRP57b9EawmmAM
M079IP8UvM3colESdYaPeJuhgxJPvZyFClwjd2DjqTGLhZQtn+1alNcJw1wgorDs
z3prkFY68vqUbbjBo+xuCibl2kS6any8lNaoJb87fe0UfaPtUFCi3U/YIxre22dl
EOK/PSx3HPGk9GkxnwOQleufbmsOAzi2BNs3I11PU3+KXNaDNKaVNO6XgxiDZYas
7iJPdSY0k0tQarv0Mc5ChvOrIaIlRNh+/DxLGhF2SFCCnNujWIozsw5DxJ5OSo7/
SSURQd8GaCsWi5VaAiB7FEMOoQ0K/5mm2+2457l820K7Sk6vboYi0q/LpOLjZvPP
US6lhDPmFjHGEsh2iiBGdSZinhRonTRUzhR1YHEbBw6NCRbmsl/YGoAh98wb+LPY
gEINiRnVPloczNdAgXCUc5aanxWbgMeuNjnhMkRsmriK+9tOnyg4h8IY6dUdQP38
rPbGjGCwwtccgqUtw+biTyUjLOvYGWisgceixWwv5vysaGVtvLfgM6/sabBwUjoD
tLXZcz6Bv85BVAy+xtY=
=ShH8
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Rebuild with Coq 8.3pl3 (no source changes)

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

-- 
coq-float packaging