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

glondu pushed a commit to branch master
in repository aac-tactics.

commit 8330837569e2e5d394c79729347beba99f0df214
Author: Stephane Glondu <st...@glondu.net>
Date:   Mon Aug 10 21:08:19 2015 +0200

    Bump Standards-Version to 3.9.6
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index d3b9965..6848e10 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.5
+Standards-Version: 3.9.6
 Homepage: 
http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk
 Vcs-Browser: 
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/aac-tactics.git
 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/aac-tactics.git

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

_______________________________________________
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