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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c96fc0b072703b4aeeec6e3583108b10b5262589
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Apr 3 22:12:24 2009 +0200

    libwhy-coq replaces why (<< 2.18.dfsg-1)

diff --git a/debian/changelog b/debian/changelog
index 470baea..504546f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+why (2.18.dfsg-2) unstable; urgency=low
+
+  * libwhy-coq replaces why (<< 2.18.dfsg-1), closes: #522440.
+  * why now depends on libwhy-coq (= ${binary:Version}) and why-examples
+    on why (= ${binary:Version}).
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Fri, 03 Apr 2009 22:03:21 +0200
+
 why (2.18.dfsg-1) unstable; urgency=low
 
   [ Mehdi Dogguy ]
diff --git a/debian/control b/debian/control
index fe82280..b4c09ec 100644
--- a/debian/control
+++ b/debian/control
@@ -28,7 +28,7 @@ Depends:
   ${F:WhyRuntime},
   ${shlibs:Depends},
   ${misc:Depends}
-Suggests: libwhy-coq
+Suggests: libwhy-coq (= ${binary:Version})
 Recommends: alt-ergo
 Description: A software verification tool
  Why aims at being a verification conditions generator (VCG) back-end
@@ -40,7 +40,9 @@ Description: A software verification tool
 
 Package: why-examples
 Architecture: all
-Depends: libwhy-coq, why
+Depends:
+  libwhy-coq (= ${binary:Version}),
+  why (= ${binary:Version})
 Section: doc
 Description: Examples of programs certified with Why
  Why aims at being a verification conditions generator (VCG) back-end
@@ -65,6 +67,8 @@ Architecture: all
 Depends:
   ${misc:Depends},
   coq-${F:CoqABI}
+Replaces:
+  why (<< 2.18.dfsg-1)
 Section: libdevel
 Description: Why library for Coq
  This package contains Why library for Coq.

-- 
why packaging