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

[Stephane Glondu]

The annotated tag, debian/1%8.2-1.2-7 has been created
        at  723733ef634f159ee0141835e3be2308bb41813f (tag)
   tagging  bd9137bfbe4c573f5780e6957248157a9a08dcbe (commit)
  replaces  debian/8.2-1.2-5
 tagged by  Stephane Glondu
        on  Wed Apr 20 18:23:00 2011 +0200

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

iQIcBAABCgAGBQJNrwhkAAoJEHhT2k1JiBrTXGEP/A9N66ZNWjHgUxNtybb73DlY
lxsTWu50CHImOnhYIRVyKND9ZGFTXDRWHd6EIpacIgx4gcc0BfBwHR7agf53Q588
Iks1NzRn16ynngvl9kgc4kSJsDeZmEiv1e524/oPvO7XQBP4YfrXVCjMLPoRKzCm
+HZ7cThVkb5Zw0oLblucaeDQMh64uWTLb8LGMxeO4cYuRG4NEzE8WIdqhsOBR9xe
d1j0xXMZ67Ic7O5CG+emzJKuYO1uM/NRO6/gpDvBl24Jca5oCv3nIEr+tHx5X9i0
juhB62rR5qfgSzes35isszHAKpXGnykQ27vNgnqMw1RXiizGhH6Xe0cbFApL3t+m
Y6Hl/cSJZE/743ZiRA6Fq6x47Vyw4lXkvlg8lj8hV7hVJ1ciAXcvudhSvOMBa7Zw
/GVanqMyspYOETc8xFrwhJkK155dEAsSQvFUTo6bJFRsWhAIb9shNcRf9PIHlGrR
wbHN+WlbLPTJCOu9gfip0erMwv5dhZEDnfzFZSolLRHoO51J0O4TQ/492dxuN38m
y9JNQ+oBRRlKRRL+83MT288J+c7awBOytGR6eCbG9e8yqeSM4jP1q8gJEE/7zqvv
I8ajqXMLZft4Lm5MbeGH8ceLV16KRMydanmXm/i9nZmwir25bTZg6LGBEJ/Tr6Oe
gTkmFrjVL+nHMJdCDtY9
=eVV/
-----END PGP SIGNATURE-----

Stephane Glondu (7):
      Add patch to fix build with Coq 8.3
      Various updates
      Update changelog
      Ignore .pc when scanning for .v files...
      Rebuild with new coq (no changes)
      Update changelog and prepare upload to unstable
      Merge branch 'sid/master'

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

-- 
coq-float packaging