1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 7fccaca6..c323cf4c 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
  Stéphane Glondu <glondu@debian.org>
 Standards-Version: 3.9.5
 Build-Depends:
- debhelper (>= 7.2.11~),
+ debhelper (>= 9),
  dh-ocaml (>= 0.9.5~),
  ocaml-nox (>= 4),
  ocaml-best-compilers,