[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.2-1.2-5-3-g1898ce2

[Stephane Glondu]

The following commit has been merged in the master branch:
commit c26dca9b46280d6679697a64a1cf47ed2d76667f
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 11 18:10:01 2011 +0100

    Various updates

diff --git a/debian/control b/debian/control
index ae735c0..72ffdf8 100644
--- a/debian/control
+++ b/debian/control
@@ -5,8 +5,8 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders:
  Samuel Mimram <smimram at debian.org>,
  Stéphane Glondu <glondu at debian.org>
-Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.2)
-Standards-Version: 3.9.0
+Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.3)
+Standards-Version: 3.9.1
 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