The following commit has been merged in the master branch:
commit f4db7f07867435d85ab82eb3e6e0b2b800cf1883
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Nov 3 06:41:35 2011 +0100

    Bump Standards-Version to 3.9.2 (no changes)

diff --git a/debian/control b/debian/control
index b38ebae..cf70410 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends:
  ocaml-nox (>= 3.11.1-3~),
  coq (>= 8.3),
  libcoq-ocaml-dev
-Standards-Version: 3.9.1
+Standards-Version: 3.9.2
 Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/aac-tactics.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git

-- 
aac-tactics 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