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

[Stephane Glondu]

The annotated tag, debian/8.2-1.2-3 has been created
        at  908da9b22045a83409ff9371beefb1fbaa896c5d (tag)
   tagging  b1f9cb06d2dbc984114627ae33ad87f5dbaf30da (commit)
  replaces  debian/8.2-1.2-2
 tagged by  Stephane Glondu
        on  Sat Jul 4 14:27:28 2009 +0200

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

iEYEABEDAAYFAkpPSrAACgkQBg8odvzgPao/JgCfcHu/bJW8u+TJXhpueOo+j/+f
hzkAnjLSCqeEJD/pq2OhzGfkIGhVzDBL
=neay
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Rebuild with Coq 8.2pl1

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

-- 
coq-float packaging