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 <trei...@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 <trei...@debian.org> Sun, 09 Oct 2016 20:18:21 +0200 + -- Ralf Treinen <trei...@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 <smim...@debian.org>, Mehdi Dogguy <me...@debian.org>, Ralf Treinen <trei...@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 _______________________________________________ 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