[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.23+dfsg-1-10-g3de1ee2

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 3de1ee272b75fef235b8f5b7161b543a74e4e0e6
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 24 23:28:05 2010 +0100

    Add ${ocaml:Depends} in Why's Depends field

diff --git a/debian/changelog b/debian/changelog
index 2263574..c82f41f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,7 @@ why (2.23+dfsg-1) unstable; urgency=low
   * Refresh packaging
     + Use dh 7 features
     + Build-depend on quilt (goodbye dpatch!)
+    + Add ${ocaml:Depends} in Why's Depends field
     + Add 0001-Do-not-run-tests-on-non-existant-files.patch
   * Fix some spelling errors
     + Add 0003-Fix-spelling-errors.patch
diff --git a/debian/control b/debian/control
index 67b9b0a..fb9277a 100644
--- a/debian/control
+++ b/debian/control
@@ -28,8 +28,8 @@ Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git
 Package: why
 Architecture: any
 Depends:
-  ${F:WhyRuntime},
   ${shlibs:Depends},
+  ${ocaml:Depends},
   ${misc:Depends}
 Suggests: libwhy-coq (= ${binary:Version})
 Recommends: alt-ergo

-- 
why packaging