[Pkg-ocaml-maint-commits] [alt-ergo] 02/09: bumped standards-version

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository alt-ergo.

commit 16c9464353feffabda84109762c23aed577da307
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Oct 26 21:16:40 2016 +0200

    bumped standards-version
---
 debian/changelog | 3 ++-
 debian/control   | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 796f999..a44a743 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,9 @@ alt-ergo (1.01-2) unstable; urgency=medium
     - bumped build-dependency on debhelper
     - bumped value in debian/compat
     - debian/rules: sequence before options in dh invocation
+  * standards-version 3.9.8 (no change)
 
- -- Ralf Treinen <treinen at debian.org>  Wed, 26 Oct 2016 21:12:38 +0200
+ -- Ralf Treinen <treinen at debian.org>  Wed, 26 Oct 2016 21:15:52 +0200
 
 alt-ergo (1.01-1) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index 076e431..25e3b7f 100644
--- a/debian/control
+++ b/debian/control
@@ -14,7 +14,7 @@ Build-Depends:
  libzarith-ocaml-dev,
  dh-ocaml (>= 0.9.0~)
 Homepage: http://alt-ergo.lri.fr
-Standards-Version: 3.9.7
+Standards-Version: 3.9.8
 Vcs-Browser: http://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/alt-ergo.git/
 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/alt-ergo.git
 Testsuite: autopkgtest

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