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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 55099ce38423022b8fd8f36b9444f9afcd3debe3
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sun Jan 4 16:26:26 2009 +0100

    why-examples recommends why and why recommends alt-ergo

diff --git a/debian/changelog b/debian/changelog
index 55f2868..5b82e33 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,9 +7,11 @@ why (2.17.dfsg-1) UNRELEASED; urgency=low
       - Install jc.cmi
     + Add a META file for Jessie library
   * Add a binary package why-examples
+    + why-examples recommends why
   * debian/rules:
     + do not compress .v,.sx,.why files
   * Bump standards version to 3.8.0, no changes needed.
+  * Why recommends alt-ergo.
   * Installing .vo files in /usr/lib/coq/user-contrib, closes: #498713.
   * Move logo in /usr/share/why (using logopath.dpatch)
   * Add patch descriptions to configure.dpatch and logopath.dpatch
@@ -19,7 +21,7 @@ why (2.17.dfsg-1) UNRELEASED; urgency=low
   * Remove not needed build dependency ocamlweb
   * Using debhelper 7
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Wed, 17 Dec 2008 18:35:07 +0100
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Sun, 04 Jan 2009 16:24:52 +0100
 
 why (2.13-2) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 6bfecca..ad3d16d 100644
--- a/debian/control
+++ b/debian/control
@@ -12,6 +12,7 @@ Package: why
 Architecture: any
 Depends: ${shlibs:Depends}
 Suggests: coq
+Recommends: alt-ergo
 Description: A software verification tool
  Why aims at being a verification conditions generator (VCG) back-end
  for other verification tools. It provides a powerful input language
@@ -22,7 +23,7 @@ Description: A software verification tool
 
 Package: why-examples
 Architecture: all
-Depends: why
+Recommends: why
 Section: doc
 Description: Examples of programs certified with Why
  Why aims at being a verification conditions generator (VCG) back-end

-- 
why packaging