[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7cc201ca7e5ebd9eeaac9054ed0c54585ac3a20d
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 11:48:30 2010 +0100

    Bump Standards-Version to 3.8.3

diff --git a/debian/control b/debian/control
index 0bd2480..a1c7229 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ 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>
-Standards-Version: 3.7.2
+Standards-Version: 3.8.3
 Build-Depends: debhelper (>= 4.0.0)
 Build-Depends-Indep:
  texlive,

-- 
coq-doc packaging