[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.4-1-3-g41c0c80

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 1d0b8807f84824672355e733b5c7c99a20f07de4
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu May 9 13:36:06 2013 +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 236918d..6c6c11c 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Stéphane Glondu <glondu at debian.org>
 Build-Depends:
- debhelper (>= 7.0.50~),
+ debhelper (>= 8),
  coq (>= 8.4),
  libcoq-ocaml-dev (>= 8.4),
  dh-ocaml (>= 0.9~),
diff --git a/debian/rules b/debian/rules
index f6c3c33..f5833c1 100755
--- a/debian/rules
+++ b/debian/rules
@@ -19,7 +19,7 @@ endif
 EXTRA_FILES := src/ssrmatching.cmi src/ssreflect.cmi
 
 %:
-	+dh --with ocaml $@
+	+dh $@ --with ocaml
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:

-- 
ssreflect packaging