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

treinen pushed a commit to branch master
in repository why.

commit dd9bb33010b644d32b94855e0016028382a409d5
Author: Ralf Treinen <>
Date:   Tue Oct 11 08:31:51 2016 +0200

    rewrite package description
 debian/changelog |  1 +
 debian/control   | 15 +++++++--------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index d6a924e..3337de6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ why (2.36-1) UNRELEASED; urgency=medium
     - d/tests/frama-c+jessie+alt-ergo: adapt to why3
     - package why: remove Recommends of SMT solvers
     - remove tests why+{alt-ergo,coq,cvc3}
+    - rewrite package description
   * Due to disappearance of doc/ and ocamlgraph/ from upstream:
     - remove d/purify-source
     - drop filter from d/gbp.conf
diff --git a/debian/control b/debian/control
index 0d7f69f..a5564c6 100644
--- a/debian/control
+++ b/debian/control
@@ -34,14 +34,13 @@ Depends:
 Suggests: libwhy-coq (= ${binary:Version})
-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
- including higher-order functions, polymorphism, references, arrays and
- exceptions. It generates proof obligations for many systems: the proof
- assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
- decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
+Description: Software verification tool for C and Java
+ This package contains Krakatoa and Jessie, two front-ends of the Why3
+ platform for deductive program verification. Krakatoa deals with Java
+ programs annotated in a variant of the The Java Modeling
+ Language. Jessie deals with C programs annotated in the ANSI/ISO C
+ Specification Language (ACSL).
 Package: libwhy-coq
 Architecture: all

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to