[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-1-7-g4801fde

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 1422e172ab438a87bf639f5d4035cbfab1ec2216
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Jul 16 13:58:47 2010 +0200

    Add "make" to runtime dependencies.

diff --git a/debian/changelog b/debian/changelog
index 52cb363..cecb18e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,8 +8,9 @@ why (2.26+dfsg-2) UNRELEASED; urgency=low
   * Convert to 3.0 (quilt) source format.
   * Bump standards version to 3.9.0, no changes needed.
   * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~.
+  * Add "make" to runtime dependencies of Why.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:46:41 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:58:08 +0200
 
 why (2.26+dfsg-1) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 927b4c2..0a6d51b 100644
--- a/debian/control
+++ b/debian/control
@@ -29,7 +29,8 @@ Architecture: any
 Depends:
   ${shlibs:Depends},
   ${ocaml:Depends},
-  ${misc:Depends}
+  ${misc:Depends},
+  make
 Suggests: libwhy-coq (= ${binary:Version})
 Recommends: alt-ergo
 Description: A software verification tool

-- 
why packaging