The following commit has been merged in the master branch:
commit 4c83e1593af2eac1e7489291f64e0f02c647dc19
Author: Stephane Glondu <st...@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 <smim...@debian.org>,
  St├ęphane Glondu <glo...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to