[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-1 created (now 97840b8)

Mehdi Dogguy mehdi at moszumanska.debian.org
Wed Dec 21 10:15:37 UTC 2016


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

mehdi pushed a change to annotated tag debian/20161101+silicon+dfsg-1
in repository frama-c.

        at  97840b8   (tag)
   tagging  1821feaa4dee390d33918d1d533aaeb73a129920 (commit)
  replaces  debian/20151002+magnesium+dfsg-1
 tagged by  Mehdi Dogguy
        on  Tue Dec 13 00:32:43 2016 +0100

- Log -----------------------------------------------------------------
frama-c Debian release 20161101+silicon+dfsg-1

Mehdi Dogguy (20):
      New upstream version 20160502+aluminium+dfsg
      Merge tag 'upstream/20160502+aluminium+dfsg'
      New upstream release.
      Refresh patches
      New upstream version 20161101+silicon+dfsg
      Merge tag 'upstream/20161101+silicon+dfsg'
      New upstream release
      Refresh patches
      Add libapron-ocaml-dev to Build-Depends
      Do not recommend why and libwhy-coq which are not part of Stretch
      Add patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
      Take into account new plugins directory
      Remove old Breaks/Replaces statements
      Enhance package description
      Update changelog
      Update patch 0001-Fix-spelling-error-in-binary.patch
      Use canonical and secure URIs for Vcs-{Browser,Git} fields
      Bump Standards-Version to 3.9.8, no changes required
      Bump DH compat to 9
      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