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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 06b70e9313d3c1c599946e3fccfc7fbc9d424ae7
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Feb 18 18:08:50 2009 +0100

    Add misc:Depends

diff --git a/debian/control b/debian/control
index 7648347..5baaeee 100644
--- a/debian/control
+++ b/debian/control
@@ -23,7 +23,9 @@ Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git
 
 Package: why
 Architecture: any
-Depends: ${shlibs:Depends}
+Depends:
+  ${shlibs:Depends},
+  ${misc:Depends}
 Suggests: coq-${F:CoqABI}
 Recommends: alt-ergo
 Description: A software verification tool
@@ -48,7 +50,9 @@ Description: Examples of programs certified with Why
 
 Package: libjessie-ocaml-dev
 Architecture: any
-Depends: ocaml-nox-${F:OCamlABI}
+Depends:
+  ocaml-nox-${F:OCamlABI},
+  ${misc:Depends}
 Section: libdevel
 Description: Jessie library for code analysis
  Jessie library, from Why certification tool, is useful for C code 

-- 
why packaging