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

[Stephane Glondu]

The annotated tag, debian/1%8.2-1.2-6 has been created
        at  0b234a9b74764f82d328f5b5dcad04f17c65d778 (tag)
   tagging  2204ea29520b9d51efcd7ce9b9bcdac525b8b79d (commit)
  replaces  debian/8.2-1.2-5
 tagged by  Stephane Glondu
        on  Thu Mar 10 23:19:04 2011 +0100

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

iQIcBAABCgAGBQJNeU5YAAoJEHhT2k1JiBrTznkP/34Wz5RRgYpjyjYDTKOWUqvg
TkdtnNBjc7J60skIHe4f8NZjkxqoO6kWXZ+1c92MyYBqvZiDM8hwZmICKvBsGX7S
kMs0LEPSXWvwSEO7YPo04ILtecwUhx17SdGlCcJV/18a1RM3vbTOU91+yMjjcrxv
KRZvZ4XHgHcoNLx2hsfmKpZDo8lsvEPhCvCYemG5hSU7C5YgL/43YAl9z7oRzAZU
03JOrRiF+oxiHa4Dx7mGPnGGkLyUO0IcCJhEqg0sFuo/ytG2aLJI6xY2ltV0OQS5
UFVwGsxUl33RdBN0atr/pWgNgfpHsnikcHkvFNXvN7GLKt6w9cBLVPA7wReH1K2k
bW5+keOSuA2uEGjx7arS+JI328hGFiqzfwZbrpmWJbrkDJ9P+GeDHd/7XlCA0ulp
fH2yThGpkuGFEenAySnxbJQJDrELHNoPJfxyIQy3N5CAxrYPKQNt9/rZOKGBZvOE
taRGLn0lEb+a8DJ7Hm0/AYxpMZhGG/4iQ/yTYoqKUQEEMi4b52wRBS2zusrNb2MH
76nN0hLkJ1AHZe+QfnYDqKDas05NJCbekDMaGU2++2PEgQtVqHbXvwS1XA1bRIiW
yTNbmBy67wLrCY8HX9qUHmJnuNCkVoCC74DDwjBT4YK7jj7QEmKj8FKaKlINc/Sx
sEpjRhwNXu3ZX0cpJW6o
=lFVw
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Rebuild with new coq (no changes)

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

-- 
coq-float packaging