summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/control b/debian/control
index 7e82c7e0..1f0ec103 100644
--- a/debian/control
+++ b/debian/control
@@ -14,6 +14,7 @@ Build-Depends:
debhelper (>= 7),
dpkg-dev (>= 1.13.19),
dpatch,
+ dh-ocaml (>= 0.2),
ocaml-nox,
ocaml-best-compilers,
camlp5,