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

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

commit 912dbce4c453004cbc22bc1c319077fd39a0756a
Author: Stephane Glondu <st...@glondu.net>
Date:   Mon Jan 20 07:38:26 2014 +0100

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

diff --git a/debian/control b/debian/control
index 291727b..91638d2 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.4
+Standards-Version: 3.9.5
 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

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