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

glondu pushed a change to annotated tag debian/20130601+fluorine3+dfsg-2
in repository frama-c.

        at  2e52f40   (tag)
   tagging  e4658f5b5b67befc186ebe5e62cadf9a68262cbc (commit)
  replaces  debian/20130601+fluorine3+dfsg-1
 tagged by  Stephane Glondu
        on  Sun Dec 8 12:37:20 2013 +0100

- Log -----------------------------------------------------------------
frama-c Debian release 20130601+fluorine3+dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAABCgAGBQJSpFnwAAoJEHhT2k1JiBrTPQcP/3jiIkOJmcg4Av/NXQgXuIR0
ynr1CPCIuIKKQMza0rTJ8UN0NpRaW/ZQ5KEzHEG1siwxIIdnTFSzWL4b80CrwZiO
8AIOBUX84k5Xt5xnduMhAqRO1UZJtqJRMwUYTdx0TD7jnix2V6q14v3fm+/HW5RL
m31EuDsffenSBUlbSzG8bDGTBJzNcwxu0WTmVv1Pl9/VDwEcJM4wGEqdoKbuHX1k
zPwrCOVX+D8P9jG0xSYGqBYk6kLJW0hFyD0z0GtMVK1/S6DcTFw4w3b1g20Wn0cb
yRgyNpPxsYf+cdpmUrCP/KyrX0/0EcY15bXGItFoLoKpjU8mdORhltApLFBoz+Fh
pczcBxvyJVKwuugmnyff4mX0F98TsXTiVc3xoboZzIgH2IzLIR5wKaNJkIkZf6w6
OSTcTs0AY2ukMBRYBBFwXKz0g6Hgj6TtmhdXCe+ln34agE/CXvJD2+96YCl2HW71
qBEC4qSWBafPBV62SMMuyX3XI/jqGxb1qSCG8dMNcTeRWPxcgu0N5Sv0sYT0LxmE
tlkG+YeACfL+nf3nBF+zUY9BX6a9ja0Fr4lZzrAWfc2OAWHvC5dBVrX8CYea7+5q
cRThBMgJk0R5DWChBwHicIeVTjmm5Oz0PaOYCc2SiqC98XwgYBZzSWx6i2mRJ0t0
2aZtx/LjB97vmIJAeUmX
=diTp
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Refresh patches
      Fix compilation with OCaml 4.01.0 (Closes: #731637)
      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/frama-c.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