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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 62d5fadbbbeb9ade493011e6189fe100557cd5ec
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 15:18:12 2009 +0100

    why-examples depends now on why and libwhy-coq

diff --git a/debian/control b/debian/control
index 365f49b..6a6ac80 100644
--- a/debian/control
+++ b/debian/control
@@ -39,7 +39,7 @@ Description: A software verification tool
 
 Package: why-examples
 Architecture: all
-Recommends: why
+Depends: libwhy-coq, why
 Section: doc
 Description: Examples of programs certified with Why
  Why aims at being a verification conditions generator (VCG) back-end

-- 
why packaging