This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit b6f8321ed4972bc922b29e2f7be4b7aa3636d90d Author: Mehdi Dogguy <me...@debian.org> Date: Thu Dec 8 11:40:35 2016 +0100 Update changelog --- debian/changelog | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index 753b66b..19a4234 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,13 +1,15 @@ frama-c (20161101+silicon+dfsg-1) UNRELEASED; urgency=medium - * New upstream release. - * Refresh patches. + * New upstream release + * Refresh patches - Drop patch 0004-Don-t-fail-during-the-configure-on-bytecode-architec.patch (not needed anymore) - Add patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch * Add libapron-ocaml-dev to Build-Depends * Do not recommend why and libwhy-coq which are not part of Stretch - * Install plugins/top in frama-c-base. + * Install plugins/top in frama-c-base + * Enhance package description + * Remove obsolete Breaks/Replaces statements -- Mehdi Dogguy <me...@debian.org> Thu, 08 Dec 2016 00:24:00 +0100 -- 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