summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2015-08-10 21:15:43 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2015-08-10 21:36:58 +0200
commit5cf6aa6c9c8e509b5002763b3b62439f2a12412d (patch)
treec09ff4b97157976a288cde4305ac42dd7b300f50
parent8330837569e2e5d394c79729347beba99f0df214 (diff)
Bump debhelper compat level to 9
-rw-r--r--debian/compat2
-rw-r--r--debian/control2
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/compat b/debian/compat
index 45a4fb7..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-8
+9
diff --git a/debian/control b/debian/control
index 6848e10..c2a98a6 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Build-Depends:
- debhelper (>= 8),
+ debhelper (>= 9),
dh-ocaml (>= 0.9~),
ocaml-nox (>= 3.11.1-3~),
coq (>= 8.4dfsg-2~),