[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20130601+fluorine3+dfsg-1 created (now 5fa4a66)

Mehdi Dogguy mehdi at moszumanska.debian.org
Mon Nov 25 20:57:39 UTC 2013


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



More information about the Pkg-ocaml-maint-commits mailing list