[Pkg-ocaml-maint-commits] [coq] 06/09: Bump Standards-Version to 3.9.5

[Stéphane Glondu]

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