[Pkg-ocaml-maint-commits] [coq-float] annotated tag debian/1%8.4-3 created (now 588b20f)

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a change to annotated tag debian/1%8.4-3
in repository coq-float.

        at  588b20f   (tag)
   tagging  2ac7c484b2919b3e2620ca02538694444ff8621f (commit)
  replaces  debian/1%8.4-2
 tagged by  Stephane Glondu
        on  Mon Jan 20 09:13:10 2014 +0100

- Log -----------------------------------------------------------------
coq-float Debian release 1:8.4-3
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAABCgAGBQJS3NqWAAoJEHhT2k1JiBrTGgAP/2xGdJj6DL9w9TPFhOwiGSZ+
4rl9AddBHUZZo1GN9fJq0ujkfJQdhB8WHTBE+pG6N+tprahPeurbPMy2H8aGING7
4PUTTZwoK3jLj1CDD43Bmo3bKAFfx91qqYM/T8iouxzGsQnWgm9MVT3u0ABUjO3v
v1rzqQwAf8BOTb6RF76NiccrExqV2rGTDN+/QIe6D9tYfuAovAxCqt5gGXadL803
9u1xLOAnQ64Vye2nMhOPlJ7o58Fzt/FcbWGHM47YdxGWPY+RG1/hzX7FSOj8K1kO
yCMjB4vrWeodUrSu5SpTc4dmTQ53l6sRLMQ1iL4ooJ97a0nv85U/rrC4iXMSUQQr
sATVRNUfpYhqoEz0QAAKdyI/JQX9PV/YfeeAfVb2dygCLqa+oFo9KLulrzoK9fQl
Z93vR0on1G9CsiCv0NEaYjC+PK0iLkEB4L/R4SUDPUhAcCjw48EhSy9kIoyiJV5S
FQLlpjwkCxWAycjN2TnaybzRn93Bu2ac6fI5abWaI9Qy7BsDiaJpzUkMZIJufB8s
j01Q9Su1MILy6vxsh5Hh+Py9oZX4nVqAzl67B7SETHgr8U0bHvBAMuVedRIduf0Q
OcJ9eRCRcybAiAfWuLMMIITDQMM9JlX6yVyaIdlkYdwIPA8z0ey/CjckBRi4m0Vz
HUfjoTnU5/WTfF1AWLZA
=7B46
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Bump Standards-Version to 3.9.5 (no changes)
      Update Vcs-*
      Update changelog and prepare upload to unstable

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git