The following commit has been merged in the master branch:
commit 1d0b8807f84824672355e733b5c7c99a20f07de4
Author: Stephane Glondu <st...@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-ma...@lists.debian.org>
 Uploaders: St├ęphane Glondu <glo...@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

_______________________________________________
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

Reply via email to