[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-4-4-gbeb7d53

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 56bd4231e2e24c357d5fa78ce46512f843a0f56a
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Feb 10 09:22:21 2010 +0100

    Bump Standards-Version to 3.8.4 (no changes)

diff --git a/debian/control b/debian/control
index 0e35df8..2a9fb0d 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
  Stefano Zacchiroli <zack at debian.org>,
  Samuel Mimram <smimram at debian.org>,
  Stéphane Glondu <glondu at debian.org>
-Standards-Version: 3.8.3
+Standards-Version: 3.8.4
 Build-Depends:
  debhelper (>= 7),
  quilt (>= 0.46-7~),

-- 
coq packaging