This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq.
commit ecb5c295deafda3d71424bf41b62eaa534758644
Author: Stephane Glondu <st...@glondu.net>
Date: Sun Jul 27 10:32:52 2014 +0200
Bump Standards-Version to 3.9.5
---
debian/control | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/debian/control b/debian/control
index cf91711..7fccaca 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.5
Build-Depends:
debhelper (>= 7.2.11~),
dh-ocaml (>= 0.9.5~),
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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
