[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-3-7-g6b78489

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 4fce6f6417a34f371f17835a96163969feada527
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 16:29:59 2009 +0200

    Better description for libjessie-ocaml-dev

diff --git a/debian/control b/debian/control
index c7c81dc..665cd32 100644
--- a/debian/control
+++ b/debian/control
@@ -58,9 +58,10 @@ Depends:
   ocaml-nox-${F:OCamlABI},
   ${misc:Depends}
 Section: ocaml
-Description: Jessie library for code analysis
- Jessie library, from Why certification tool, is useful for C code 
- analysis. It also generates Why code.
+Description: Jessie library for C code analysis
+ Jessie library, from Why certification tool, is useful for deductive
+ verification. It is based on weakest precondition computation techniques
+ and allows to prove that C functions satisfy their specification.
 
 Package: libwhy-coq
 Architecture: all

-- 
why packaging