[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-2-6-g5b24f1b

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c4f5da6fd7fc22df2211f77129f4b25eaae14643
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Apr 20 23:06:28 2009 +0200

    Make a long description for libwhy-coq, closes: #524054

diff --git a/debian/changelog b/debian/changelog
index 50fea39..c11ce46 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ why (2.18.dfsg-3) UNRELEASED; urgency=low
   * Fix erroneous usage of ifdef in debian/rules.
   * why-examples depends on non-versioned libwhy-coq and why, thanks
     Lintian.
+  * Make a long description for libwhy-coq, closes: #524054.
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 16 Apr 2009 17:23:41 +0200
 
diff --git a/debian/control b/debian/control
index 078a729..78bf41e 100644
--- a/debian/control
+++ b/debian/control
@@ -71,4 +71,6 @@ Replaces:
   why (<< 2.18.dfsg-1)
 Section: libdevel
 Description: Why library for Coq
- This package contains Why library for Coq.
+ This package contains all useful logical definitions, lemmas with their
+ proofs and axioms used by Why. Users may need this package when proving
+ some proof obligations in Coq.

-- 
why packaging