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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 1d30957edf59962dab5aa0d4751ff1a7fbd9b213
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Aug 27 20:44:06 2009 +0200

    Fix long description for why-examples

diff --git a/debian/changelog b/debian/changelog
index e8bf0cb..f3be941 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ why (2.19+dfsg-1) unstable; urgency=low
   * Use my Debian mail address, Remove DMUA
   * Add a 'Homepage' field in debian/control
   * Referesh path jessie_lib.dpatch
+  * Fix long description for why-examples
 
  -- Mehdi Dogguy <mehdi at debian.org>  Thu, 27 Aug 2009 20:11:39 +0200
 
diff --git a/debian/control b/debian/control
index a788869..63b0817 100644
--- a/debian/control
+++ b/debian/control
@@ -51,6 +51,8 @@ Description: Examples of programs certified with Why
  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.
+ .
+ This package contains examples of programs verified using Why.
 
 Package: libjessie-ocaml-dev
 Architecture: any

-- 
why packaging