This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq-float.
commit 3df2d727130947877f9a0030d2a793d2e24e99a5
Author: Stephane Glondu <st...@glondu.net>
Date: Mon Jan 20 07:42:41 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 108d5c1..bf85075 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders:
Samuel Mimram <smim...@debian.org>,
Stéphane Glondu <glo...@debian.org>
Build-Depends: debhelper (>= 9), coq (>= 8.4)
-Standards-Version: 3.9.4
+Standards-Version: 3.9.5
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-float.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
