[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-72-g237d1e6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 237d1e6d4f0e9c47e67feb67f67f0daf7729f057
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Feb 27 14:11:14 2009 +0100

    changelog update

diff --git a/debian/changelog b/debian/changelog
index fbd11ed..66b66b6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -18,7 +18,8 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
     + Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
   * debian/control:
     + Bump standards version to 3.8.0, no changes needed.
-    + Why recommends alt-ergo.
+    + Why recommends alt-ergo and suggest libwhy-coq.
+    + Add missing runtime dependency for gwhy.byte.
     + Change vcs-* fields to point to Git repository
     + Depend on coq-${F:CoqABI} instead of Coq
     + Add DMUA flag with Sam's blessing
@@ -28,7 +29,7 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
   [ Samuel Mimram ]
   * Use predefined variables from ocamlvars.mk and coqvars.mk.
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Sun, 22 Feb 2009 23:19:40 +0100
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Fri, 27 Feb 2009 14:09:32 +0100
 
 why (2.13-2) unstable; urgency=low
 

-- 
why packaging