The following commit has been merged in the master branch:
commit 62d9cc7bb328a0a3a803f9b638a398fc4fec1ad9
Author: Stephane Glondu <st...@glondu.net>
Date:   Tue Mar 27 07:54:24 2012 +0200

    Bump Standards-Version to 3.9.3

diff --git a/debian/control b/debian/control
index f2a5e66..2e104f0 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders:
  Ralf Treinen <trei...@debian.org>,
  Samuel Mimram <smim...@debian.org>,
  St├ęphane Glondu <glo...@debian.org>
-Standards-Version: 3.9.2
+Standards-Version: 3.9.3
 Build-Depends:
  debhelper (>= 7.2.11~),
  dh-ocaml (>= 0.9.5~),

-- 
coq packaging

_______________________________________________
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

Reply via email to