[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 4c83e1593af2eac1e7489291f64e0f02c647dc19
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri May 6 10:35:26 2011 +0200

    Bump debhelper compat level to 8

diff --git a/debian/compat b/debian/compat
index 7f8f011..45a4fb7 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+8
diff --git a/debian/control b/debian/control
index 01afe18..464f747 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders:
  Samuel Mimram <smimram at debian.org>,
  Stéphane Glondu <glondu at debian.org>
 Standards-Version: 3.8.3
-Build-Depends: debhelper (>= 7.0.50~)
+Build-Depends: debhelper (>= 8)
 Build-Depends-Indep:
  texlive,
  texlive-base,

-- 
coq-doc packaging