This is an automated email from the git hooks/post-receive script.
mehdi pushed a change to annotated tag debian/20130601+fluorine3+dfsg-1
in repository frama-c.
at 5fa4a66 (tag)
tagging d44772ddc9f7efdbae4e286808d536bf2829a1e1 (commit)
replaces debian/20111001+nitrogen+dfsg-3
tagged by Mehdi Dogguy
on Mon Nov 25 21:57:23 2013 +0100
- Log -----------------------------------------------------------------
Debian release 20130601+fluorine3+dfsg-1
Mehdi Dogguy (17):
Imported Upstream version 20120901+oxygen+dfsg
Merge tag 'upstream/20120901+oxygen+dfsg'
Imported Upstream version 20130401+fluorine+dfsg
Merge tag 'upstream/20130401+fluorine+dfsg'
Imported Upstream version 20130501+fluorine2+dfsg
Merge tag 'upstream/20130501+fluorine2+dfsg'
Imported Upstream version 20130601+fluorine3+dfsg
Merge tag 'upstream/20130601+fluorine3+dfsg'
New upstream release
Update patches.
Require ocamlgraph (>= 1.8.3~) on build.
New upstream release (Closes: #714124)
Add libzarith-ocaml-dev to Build-Depends.
Add 0004-Fix-auto-detection-of-ocaml-zarith.patch
Add autoconf to Build-Depends.
dh_ocaml --nodefined-map=frama-c-base:Big_int_Z,Z,Q
Release 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
