[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-17-gce3d6a4

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit ce3d6a4b8142caeeb27051592d5c8c4f132465e8
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Fri Apr 5 11:05:49 2013 +0200

    standards-version 3.9.4

diff --git a/debian/changelog b/debian/changelog
index 344dc76..fed27e9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -18,8 +18,9 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
      - dh_auto_install: only call "make install" since thsi subsumes the
        other targets
   * Added myself as uploader.
+  * Standards-Version 3.9.4 (no change)
 
- -- Ralf Treinen <treinen at debian.org>  Fri, 05 Apr 2013 10:13:58 +0200
+ -- Ralf Treinen <treinen at debian.org>  Fri, 05 Apr 2013 11:05:32 +0200
 
 alt-ergo (0.94-2) unstable; urgency=high
 
diff --git a/debian/control b/debian/control
index edf17d1..09f9f1b 100644
--- a/debian/control
+++ b/debian/control
@@ -16,7 +16,7 @@ Build-Depends:
  quilt (>= 0.46-7~),
  dh-ocaml (>= 0.9.0~)
 Homepage: http://alt-ergo.lri.fr
-Standards-Version: 3.8.4
+Standards-Version: 3.9.4
 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
 

-- 
alt-ergo packaging