[Pkg-ocaml-maint-commits] [why] 02/02: debian/control: more theorem provers as altenative to alt-ergo

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository why.

commit cb05d4b368c3b488759ef02042600eb589c8027a
Author: Ralf Treinen <treinen at debian.org>
Date:   Thu Feb 13 12:30:54 2014 +0100

    debian/control: more theorem provers as altenative to alt-ergo
---
 debian/changelog | 2 ++
 debian/control   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 17acfff..4a7a46d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -22,6 +22,8 @@ why (2.33-1) unstable; urgency=low
     - why with alt-ergo
     - why with cvc3
     - why with coq (thanks to Pierre Letouzey for his help!)
+  * Add to the Recommendation of package alt-ergo alternatives on other
+    theorem provers: cvc3, coq
   * Bump build-dependency on frama-c-base to the latest version.
 
  -- Ralf Treinen <treinen at debian.org>  Tue, 04 Feb 2014 12:33:02 +0100
diff --git a/debian/control b/debian/control
index c3a83f2..99d5f21 100644
--- a/debian/control
+++ b/debian/control
@@ -35,7 +35,7 @@ Depends:
   frama-c-base (= ${F:FramaCVersion}),
   make
 Suggests: libwhy-coq (= ${binary:Version})
-Recommends: alt-ergo
+Recommends: alt-ergo | cvc3 | coq
 Description: Software verification tool
  Why aims at being a verification conditions generator (VCG) back-end
  for other verification tools. It provides a powerful input language

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git