[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. debian/0.3-2-7-gcfe4262

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 17ae016c6d2ee86159dc4ba1764aa3e2b0cec5b6
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu May 9 13:25:53 2013 +0200

    Bump Standards-Version to 3.9.4

diff --git a/debian/control b/debian/control
index 70fd50d..291727b 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends:
  ocaml-nox (>= 3.11.1-3~),
  coq (>= 8.4dfsg-2~),
  libcoq-ocaml-dev
-Standards-Version: 3.9.2
+Standards-Version: 3.9.4
 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