This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository aac-tactics.
commit 5cf6aa6c9c8e509b5002763b3b62439f2a12412d Author: Stephane Glondu <st...@glondu.net> Date: Mon Aug 10 21:15:43 2015 +0200 Bump debhelper compat level to 9 --- debian/compat | 2 +- debian/control | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/compat b/debian/compat index 45a4fb7..ec63514 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -8 +9 diff --git a/debian/control b/debian/control index 6848e10..c2a98a6 100644 --- a/debian/control +++ b/debian/control @@ -4,7 +4,7 @@ Priority: optional Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: Stéphane Glondu <glo...@debian.org> Build-Depends: - debhelper (>= 8), + debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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