From: Stephane Glondu <steph@glondu.net>
Date: Mon, 30 Sep 2019 13:35:24 +0000 (+0200)
Subject: Build-depend on debhelper-compat
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~7
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c70e52ab919e4b9212ce0feeaf31f51b65a18a3c;p=ocaml.git

Build-depend on debhelper-compat
---

diff --git a/debian/compat b/debian/compat
deleted file mode 100644
index 48082f72..00000000
--- a/debian/compat
+++ /dev/null
@@ -1 +0,0 @@
-12
diff --git a/debian/control b/debian/control
index 715af84d..114f9a8d 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
  Mehdi Dogguy <mehdi@debian.org>,
  Ximin Luo <infinity0@debian.org>
 Build-Depends:
- debhelper (>= 12),
+ debhelper-compat (= 12),
  pkg-config,
  binutils-dev,
  libiberty-dev,