[Pkg-ocaml-maint-commits] [alt-ergo] 06/06: standards-version 3.9.7

[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 1e9a2bb8e80a0a353bb57a1c4e62e227e665e985
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 28 20:44:05 2016 +0100

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

diff --git a/debian/changelog b/debian/changelog
index f25eef0..c8d4748 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ alt-ergo (1.01-1) UNRELEASED; urgency=medium
 
   * new upstream version. Refreshed patches.
   * debian/watch: version 4. Add option pgpsigurlmangle.
+  * standards-version 3.9.7 (no change)
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 28 Feb 2016 20:15:31 +0100
+ -- Ralf Treinen <treinen at debian.org>  Sun, 28 Feb 2016 20:43:51 +0100
 
 alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index db49823..9f6f152 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.6
+Standards-Version: 3.9.7
 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