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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit fe646925b7c7e0605111385237e1c7418457d51e
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Apr 16 17:26:56 2009 +0200

    why-examples depends on non-versioned libwhy-coq and why

diff --git a/debian/changelog b/debian/changelog
index 840b3bb..50fea39 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
 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.
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Fri, 03 Apr 2009 22:33:41 +0200
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 16 Apr 2009 17:23:41 +0200
 
 why (2.18.dfsg-2) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index b4c09ec..078a729 100644
--- a/debian/control
+++ b/debian/control
@@ -41,8 +41,8 @@ Description: A software verification tool
 Package: why-examples
 Architecture: all
 Depends:
-  libwhy-coq (= ${binary:Version}),
-  why (= ${binary:Version})
+  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