summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2019-07-16 09:29:45 +0200
committerStephane Glondu <steph@glondu.net>2019-07-16 09:29:45 +0200
commitd37d6ca5568b1a1cacd0404de77d74a82685f808 (patch)
tree57c3162ab6fdfd4724b0bce6a7698fdcba67fe4a
parentcdd781b88509a8a29e4e2956df6b102cebdbafac (diff)
Bump debhelper compat level to 12
-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 f599e28..48082f7 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-10
+12
diff --git a/debian/control b/debian/control
index 9fa343b..a38d1f2 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Build-Depends:
- debhelper (>= 10),
+ debhelper (>= 12),
automake,
autoconf,
ocaml-findlib (>= 1.4),