diff options
author | Stephane Glondu <steph@glondu.net> | 2014-07-27 10:37:59 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2014-07-27 15:23:48 +0200 |
commit | b9fae9be4d5dc1f78de28d062d4052727dc1e3c3 (patch) | |
tree | ec51755de45337cefed3538dcf9f3361ca9485a6 /debian/control | |
parent | ecb5c295deafda3d71424bf41b62eaa534758644 (diff) |
Bump debhelper compat level to 9
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 2 |
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, |