[Pkg-ocaml-maint-commits] [frama-c] 10/20: Do not recommend why and libwhy-coq which are not part of Stretch

[Mehdi Dogguy]

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 <mehdi at 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 <mehdi at 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