[Pkg-ocaml-maint-commits] [why] 02/02: debhelper level 10

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 94274d419d6d2b0ff74a050df4fbc5be58cedd12
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Oct 11 21:18:36 2016 +0200

    debhelper level 10
---
 debian/changelog | 8 ++++++--
 debian/compat    | 2 +-
 debian/control   | 2 +-
 debian/rules     | 2 +-
 4 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 2a9c54a..ca25fed 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-why (2.36-1) UNRELEASED; urgency=medium
+why (2.36-1) unstable; urgency=medium
 
   * New upstream release. This version compiles with coq 8.5
     and drops the gwhy binary (Closes: #440469).
@@ -34,6 +34,10 @@ why (2.36-1) UNRELEASED; urgency=medium
     - format version 4
     - get link to newest version from the krakatoa home page (instead of
       trying to read the download/ directory).
+  * debhelper-compatibility level 10:
+    - bump value in d/compat
+    - build-depends on debhelper (>=10)
+    - invocation of dh in d/rules: sequence argument before options
   * update homepage to krakatoa.lri.fr 
   * create manpages, based on the output of help2man, for jessie and krakatoa
   * drop autoconf from d/rules and from build-dependencies
@@ -42,7 +46,7 @@ why (2.36-1) UNRELEASED; urgency=medium
   * d/tests: add test krakato+alt-ergo
   * remove d/README.source which is obsolete.
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 09 Oct 2016 20:18:21 +0200
+ -- Ralf Treinen <treinen at debian.org>  Tue, 11 Oct 2016 21:28:06 +0200
 
 why (2.34-4) unstable; urgency=medium
 
diff --git a/debian/compat b/debian/compat
index 7f8f011..f599e28 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+10
diff --git a/debian/control b/debian/control
index 277d054..4faa4e7 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Samuel Mimram <smimram at debian.org>,
   Mehdi Dogguy <mehdi at debian.org>,
   Ralf Treinen <treinen at debian.org>
 Build-Depends:
-  debhelper (>= 7.0.50~),
+  debhelper (>= 10),
   autotools-dev,
   dh-ocaml (>= 0.9~),
   ocaml-nox (>= 3.11.1-3~),
diff --git a/debian/rules b/debian/rules
index ac764de..3de11fb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -53,6 +53,6 @@ override_dh_compress:
 override_dh_auto_test:
 
 %:
-	dh --with ocaml $@
+	dh $@ --with ocaml
 
 #	dh_installchangelogs CHANGES

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git