summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-06-03 12:06:17 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2010-07-01 17:37:28 +0200
commitca93c2ad1dedd8266ffe02104842dcecc38e425b (patch)
tree9e84f277f4f38f2896c55f66e6a89fb85bb7ea03 /debian/control
parent9f8c291384c4e81939a92fccc4674b4611fa856f (diff)
Use dh with overrides
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 1c1d7e12..3542f0e7 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ Uploaders:
Stéphane Glondu <glondu@debian.org>
Standards-Version: 3.8.4
Build-Depends:
- debhelper (>= 7),
+ debhelper (>= 7.2.11~),
dh-ocaml (>= 0.9~),
ocaml-nox (>= 3.11.1-3~),
ocaml-best-compilers,