This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c.
commit 7d306486a35e26aa5ddebb77ae108b14716b22a0 Author: Mehdi Dogguy <me...@debian.org> Date: Thu Dec 8 00:43:16 2016 +0100 Do not recommend why and libwhy-coq which are not part of Stretch --- debian/changelog | 1 + debian/control | 5 +---- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/debian/changelog b/debian/changelog index e7a6d9c..8405bc7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,6 +5,7 @@ frama-c (20161101+silicon+dfsg-1) UNRELEASED; urgency=medium - Drop patch 0004-Don-t-fail-during-the-configure-on-bytecode-architec.patch (not needed anymore) * Add libapron-ocaml-dev to Build-Depends + * Do not recommend why and libwhy-coq which are not part of Stretch -- Mehdi Dogguy <me...@debian.org> Thu, 08 Dec 2016 00:24:00 +0100 diff --git a/debian/control b/debian/control index 124a719..567b984 100644 --- a/debian/control +++ b/debian/control @@ -31,8 +31,6 @@ Depends: frama-c-base (= ${binary:Version}), graphviz, emacs | emacsen -Recommends: - why (>= 2.19+dfsg-2), Breaks: frama-c-base (<< 20150201+sodium+dfsg-1~) Replaces: @@ -66,8 +64,7 @@ Depends: libocamlgraph-ocaml-dev, gcc, Recommends: - alt-ergo, - libwhy-coq + alt-ergo Replaces: frama-c (<< 20090902+beryllium+dfsg-1) Breaks: frama-c (<< 20090902+beryllium+dfsg-1) Description: Framework for C source code analysis (without gui) -- 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