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

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

        at  0b8ce57   (tag)
   tagging  2cf427817467998cd8e6a142aee3278e6370bfa6 (commit)
  replaces  debian/1%8.4-4
 tagged by  Stephane Glondu
        on  Wed Oct 14 12:08:41 2015 +0200

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

iQIcBAABCgAGBQJWHimpAAoJEHhT2k1JiBrT5y0P/isYeoySeQYl16Qw6XPUBp0B
pQ109dNCKS1fSUYkXrgMs4+wTqa76hZ5ZW1+8BM41DO2q82052Tw65Z6xVrA6BuJ
sVTfOwEfAgEpqKZAHomGpA3r/HqhaRD1mkMh+Xn+M0W+znE2XrzOZ9vjSBer2OWb
D0gnBv26XBmz3eI03qk8WurxLatJ62VmPUapDKuSVvdI5H6wj8gf2mijTNKAonJT
0pI+Csh/a3Fo06kK6dkbNGac7lgjoYkwACgh6bT4+WDoHruFEH3o0VohXq6C5yNy
FbX2u5Afjxp0ZKh6A0gZ6gDdbByNNjFRL7+wVXYQFCdqgt8i8ZYiK3Y3X/BsrRvi
8icGdUYPDJLyDuFv4id8XfP6yCB/KpaucavKcSE6k8MtxUT8AN6rGlwRN1BV39G9
vnrYoEmfM43zq4FvsCbIHN6KA5fViczrGmadB344mGVdf1PXHPqLa9PaoZRxOwO4
nu0Xt+u7tB+F8jr0ACuBWKWhpC43c/6etkPKO+POFM4qN7LJFsx5OT1IkWEpeZHR
yUprS3NKleRYzbkk3niFqAu/J2jEbYwDpRe+NM3iNzbQTqydv9Bxo7sFVOo+W+oT
MtgZHdY928og8kM73JbhT0HPB969B1EM4xNTN+v3Zpt4OrYB12IbxN1/rgoyMHe8
UFOkPrQ9TyfB15tQnA6h
=HfMD
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Recompile with OCaml 4.02.3

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

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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to