diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/compat | 2 | ||||
-rw-r--r-- | debian/control | 2 | ||||
-rwxr-xr-x | debian/rules | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/debian/compat b/debian/compat index 7f8f011e..ec635144 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -7 +9 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, diff --git a/debian/rules b/debian/rules index d700960d..6343da50 100755 --- a/debian/rules +++ b/debian/rules @@ -36,13 +36,13 @@ export OCAMLINIT_SED += \ -e 's%@CoqABI@%$(COQ_ABI)%' %: - +dh --with ocaml $@ + +dh $@ --with ocaml # There is already a file named "build" in upstream sources, so the # above rule is never called. We make it explicitly a phony rule here. .PHONY: build build: - +dh --with ocaml $@ + +dh $@ --with ocaml .PHONY: override_dh_auto_configure override_dh_auto_configure: |