From: Stephane Glondu <steph@glondu.net>
Date: Wed, 14 Nov 2012 13:16:51 +0000 (+0100)
Subject: Bump debhelper compat level to 9
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~210
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=88b30ff81a38c46ed776fa66bc8e9b04ff6ea7c0;p=ocaml.git

Bump debhelper compat level to 9
---

diff --git a/debian/compat b/debian/compat
index 45a4fb75..ec635144 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-8
+9
diff --git a/debian/control b/debian/control
index f1fe89c1..145640da 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
  Stéphane Glondu <glondu@debian.org>,
  Mehdi Dogguy <mehdi@debian.org>
 Build-Depends:
- debhelper (>= 8),
+ debhelper (>= 9),
  pkg-config,
  quilt,
  autotools-dev,