[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.2-1.2-7-2-g721cd57

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d96270cb21a0481fc70f45261038202c644d6ef6
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Nov 3 06:24:46 2011 +0100

    Bump Standards-Version to 3.9.2 (no changes)

diff --git a/debian/control b/debian/control
index 72ffdf8..e77dc1d 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 (>= 7.0.50~), coq (>= 8.3)
-Standards-Version: 3.9.1
+Standards-Version: 3.9.2
 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

-- 
coq-float packaging