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

[Stephane Glondu]

The annotated tag, debian/1%8.3pl1-3 has been created
        at  663d5fef3179da05ca9d5e2107033573e5f52a3d (tag)
   tagging  a6c197ccef39f8431a7bf5161175fdf4aade856e (commit)
  replaces  debian/1%8.3pl1-2
 tagged by  Stephane Glondu
        on  Fri Mar 30 08:47:08 2012 +0200

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

iQIcBAABCgAGBQJPdVbsAAoJEHhT2k1JiBrTcMIP/1t7JrHyZbl8aSTQmV+HSroT
OfOAB+a8KW9LkWS6vEihedHO7SfI9CSChFzX36BnzhrSsE+FllsWufyNxjIPsBq9
eJ0MkWbJxcFWKp+npWeuwHVFlVaMzk6lY2b+FC4ry8KSSqt9yVEmsyNFCalwFVUz
0sOi3VUubxKfGRDGIrOQaAjP2FXTeHwJ2nKM6q/uSywhlxfjjldmDA07F5dx+nNc
8cH49qLq5q+hglIs2t+6cojtsS3j/9JxeQhPnTSpiEmCcmeek0WjseivmZxcvie9
bidUECU2crbZH3yy0Hvroluax04+pDEb23LS4cbTRorOJHVS+zv2d+Yp+bvuVEXi
xx/7/Ag8cYODVlBY6qkOHWKA0Qv+bbcx0zJmAfuG746m7AqkXUeREwbdNksgKcNy
nKHi2NDMdlTz6BTPYcumOofUmHNpNgJQKBbk1RTtnBT36uNipjlHw4vxFYOCSdIy
eQu0RWIlol8mO+n5Tb+cJbGV139YDXWKmNh7zhfnCYi3xG/3E6h5UaPi1KcdLDXa
fsCCZaNZL3MgKUTaG4exT2P6TDromoHIhsyJfpf5RwtHOXzdlwBE+KaGM/AXMmEU
BdP50z8gcbYgMiwFmdwh5CnIct7vW+xdEeh4orgDzlAjh8sRhSEtu/DaYka70nbl
Pw0jQgSrWcBxgl5yC6fh
=hlZh
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Prepare upload to unstable

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

-- 
coq-float packaging