[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