From 7fb05c184aa14eb7bed926f30ef81ea5b5ace1dd Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 27 Feb 2009 13:31:26 +0100
Subject: Add versioned dependencies

---
 debian/control | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'debian/control')

diff --git a/debian/control b/debian/control
index 8d507399..84656a39 100644
--- a/debian/control
+++ b/debian/control
@@ -13,13 +13,13 @@ Standards-Version: 3.8.0
 Build-Depends:
  debhelper (>= 7),
  dpkg-dev (>= 1.13.19),
- dh-ocaml (>= 0.2),
- ocaml-nox,
+ dh-ocaml (>= 0.4.1),
+ ocaml-nox (>= 3.11.0-5),
  ocaml-best-compilers,
- camlp5,
- liblablgtk2-ocaml-dev,
+ camlp5 (>= 5.10-3),
+ liblablgtk2-ocaml-dev (>= 2.12.0-2),
  texlive-latex-extra,
- hevea
+ hevea (>= 1.10-7)
 Homepage: http://coq.inria.fr/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
-- 
cgit v1.2.3