diff options
author | Stephane Glondu <steph@glondu.net> | 2019-07-16 09:29:45 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2019-07-16 09:29:45 +0200 |
commit | d37d6ca5568b1a1cacd0404de77d74a82685f808 (patch) | |
tree | 57c3162ab6fdfd4724b0bce6a7698fdcba67fe4a | |
parent | cdd781b88509a8a29e4e2956df6b102cebdbafac (diff) |
Bump debhelper compat level to 12
-rw-r--r-- | debian/compat | 2 | ||||
-rw-r--r-- | debian/control | 2 |
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), |