The following commit has been merged in the master branch:
commit 4896c9649f00c95bde9fe18c1a519c49b5a6dfb8
Author: Stephane Glondu <st...@glondu.net>
Date: Wed May 8 23:28:19 2013 +0200
Bump debhelper compat level to 9
diff --git a/debian/compat b/debian/compat
index 7f8f011..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+9
diff --git a/debian/control b/debian/control
index f523d2c..108d5c1 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ Maintainer: Debian OCaml Maintainers
<debian-ocaml-ma...@lists.debian.org>
Uploaders:
Samuel Mimram <smim...@debian.org>,
Stéphane Glondu <glo...@debian.org>
-Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.3)
+Build-Depends: debhelper (>= 9), coq (>= 8.4)
Standards-Version: 3.9.4
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git
--
coq-float packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
