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

[Stephane Glondu]

The annotated tag, debian/1%8.3pl1-1 has been created
        at  91ea83e42ae1c42a9bbd7fb7bae767e3b64a2a00 (tag)
   tagging  b4035ef43a7b4c9e96bd16e88ea0fc1e4d505a4f (commit)
  replaces  debian/1%8.2-1.2-9
 tagged by  Stephane Glondu
        on  Mon Jan 9 21:20:28 2012 +0100

- Shortlog ------------------------------------------------------------
Debian release 1:8.3pl1-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAABCgAGBQJPC0wMAAoJEHhT2k1JiBrT35sP/2tlDJJiPtKxO1Hjwgdeocmg
9yoIHmGKSW6W+CWu9v0hkQ38N8CYrF/eQpV+5M4sbzXpWXjSFihWTIP/TDMhV5ON
Xv5zTjdiqWqXYKTgJMissCh2EmpOoYuJRvUYQIrCg3cFPLT0gfaVYkfSiccobUam
q/UhQjA997pTCC9D5zy89Iy9c1SEdxXxyOwYJ6RhcWs51Rv5nm6230l00x9K5IuZ
D22TNraYQo398tSaeIuQHgIUrQCZPKq2/AEWr6caoAhSFOojnxezqoSf1lgpqZI4
fikBYd5xsHICK1Q/kMBwvWjpL2KC0zrMbLStOBBeyfU3AaNOd9hbXvkP9kJZFLot
GgnPvl8gbnp0SWFoNf7E01RLDYi5Rt4+qkm83JEQ/BZ2Bq5R2NNznH1piHcjno1A
traiAcuXcogLQv9GUFhXtTT30fUXlJ2S+iw7qAqgFJzXtk6Hz+OY4ajRwJcQSxqL
0afyMg1VvuHQw5Ew5J9VqUdCwBMhFHhHEFfGFkpRfeCj5Tqxwc0JElzbYqf7Uuue
3X5o66i8eyxyd1iZWZRy22EUcC0ikBfacQmlktD0WxMw5t3SdHNEvqYEbmVdjM9F
SS35zHwKMKSY3iEUPbSiOhMBywOM+rcTddc/vBSu/zU843SJUpXqOT7RlsiThR25
AC7LEZCeXI+qoHzGO16c
=ETTI
-----END PGP SIGNATURE-----

Stephane Glondu (6):
      Imported Upstream version 8.3
      Imported Upstream version 8.3pl1
      Merge commit 'upstream/8.3pl1'
      New upstream release
      Remove obsolete patch
      Update changelog and prepare upload to unstable

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

-- 
coq-float packaging