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

[Stephane Glondu]

The annotated tag, debian/8.2-1.2-5 has been created
        at  a74f55085212d0eae89f7f08104e313d8d658c6a (tag)
   tagging  43e0c1add1a3b19f9dbc30989c512eeb7d2f64ff (commit)
  replaces  debian/8.2-1.2-4
 tagged by  Stephane Glondu
        on  Sat Jul 3 16:33:15 2010 +0200

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

iQIcBAABCgAGBQJML0orAAoJEHhT2k1JiBrTKiMQAKhwzZq9JbQ79/rcUzkca8+z
+ekDUVeBFSzhQkZ664QURuK0jtM0jE4KhEW+NChJc+8tl9x/SvMJca9srP4f+Uo1
sp+0kO0jsJYDEc5RayJqnBIRj8ZmtrYs0QrTtTAPrTo+tYkgB/UmROjWsTZU4qot
XIxlj44XQXPz1Q6R8jeKspTfHZEOqpUEa2l8ldJC9p0obaxyMdkuRr+hHchsG5FK
BwbPhEtWrhn0s6wGPyXYIuKxZL/Z2j4NecizGqiDWRERSd/9lCJvKXTkvm8upZlz
6GmGnTXj9J06kWBZICfoLNNnEq08RXWoa0GvlJKoC9ODapYqQ+tIoFSfWTj8fEsJ
SwS3N47/iba+w2uLWlbzr7gIs67ZP8iLk5l3Ky3wX/Rw2MQKB65BMOFYkBpbRZ7p
afqmRe9FLJWak4HzIua2GsMZV51aYYGuLXIHcpq0OjJyQfY+g6HzXMN06599ahcs
IEnbA5oX/ikNLk+F0ZxgXWaA9pxLWJaPva04rLrpIHBt8iGRC6oiLrFTk5HQk8Pi
5gZ2hrf5jr3Y7yigJ5FKt+UGJZ21dlFJURgfT8CM1VWaEpf6hbUtBhmllL3RAwIS
lkpqDnML07hSePVFNmFFFB1ksjvJWfPWH9noYdqk3AWaNvFnObrGpR4pxCsBOHv9
DDIgFnzlX0vuEzodIuJ9
=7/LA
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Update watch file, bump SV, prepare upload to unstable

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

-- 
coq-float packaging