[Pkg-ocaml-maint-commits] [coq-float] 01/03: Bump Standards-Version to 3.9.5 (no changes)

Stéphane Glondu glondu at moszumanska.debian.org
Mon Jan 20 08:13:35 UTC 2014


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 <steph at 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 <smimram at debian.org>,
  Stéphane Glondu <glondu at 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



More information about the Pkg-ocaml-maint-commits mailing list