[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl2+dfsg-1-2-g4fc051d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 92e2e560591cb81da28caac675dd12982458c015
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Nov 2 22:31:42 2011 +0100

    Bump Standards-Version to 3.9.2 (no changes)

diff --git a/debian/control b/debian/control
index d093e79..116bd06 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.1
+Standards-Version: 3.9.2
 Build-Depends:
  debhelper (>= 7.2.11~),
  dh-ocaml (>= 0.9.5~),

-- 
coq packaging