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 <trei...@free.fr>
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/manual.ps 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:
why3,
make
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
Depends:
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/why.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
