[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-1-g6a5c0e6

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 6a5c0e609dd10f1f19ab7a03e69a45ec25280b17
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jan 8 12:12:30 2010 +0100

    Make dependencies of coq-doc versioned

diff --git a/debian/changelog b/debian/changelog
index 5272402..6baa31a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq-doc (8.2pl1-2) UNRELEASED; urgency=low
+
+  * Make dependencies of coq-doc versioned
+
+ -- Stéphane Glondu <glondu at debian.org>  Fri, 08 Jan 2010 12:10:30 +0100
+
 coq-doc (8.2pl1-1) unstable; urgency=low
 
   [ Stéphane Glondu ]
diff --git a/debian/control b/debian/control
index ca3f301..01afe18 100644
--- a/debian/control
+++ b/debian/control
@@ -23,7 +23,10 @@ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git
 
 Package: coq-doc
 Architecture: all
-Depends: coq-doc-html, coq-doc-pdf, ${misc:Depends}
+Depends:
+ coq-doc-html (>= ${source:Version}),
+ coq-doc-pdf (>= ${source:Version}),
+ ${misc:Depends}
 Description: documentation for Coq
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal

-- 
coq-doc packaging