[Pkg-ocaml-maint-commits] [alt-ergo] 10/11: bump standards-version

[Ralf Treinen]

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

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

commit e61f1c9b299556b1d99aa01f6940507e5d034600
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Dec 30 18:57:03 2014 +0100

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

diff --git a/debian/changelog b/debian/changelog
index 452050c..e17118a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -12,8 +12,9 @@ alt-ergo (0.99.1+dfsg1-1) unstable; urgency=medium
     the non-free directory.
   * Drop the libalt-ergo-ocaml-dev binary package since upstream does no
     longer support installation of develoment libraries.
+  * Standards-Version 3.9.6 (no change)
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 30 Dec 2014 18:53:25 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 30 Dec 2014 18:56:52 +0100
 
 alt-ergo (0.95.2-3) sid; urgency=medium
 
diff --git a/debian/control b/debian/control
index dc4ca56..e17e39e 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.5
+Standards-Version: 3.9.6
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
 

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