[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 c97b1e8746a85791c8e7d60dedbbc5f1ceb49e20
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 10:58:26 2010 +0100

    Remove build-dependency to coq, add dependency to ocaml-nox
    
    We use directly the pristine upstream tarball.

diff --git a/debian/control b/debian/control
index de52eaa..0bd2480 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,15 @@ Uploaders:
  Stéphane Glondu <glondu at debian.org>
 Standards-Version: 3.7.2
 Build-Depends: debhelper (>= 4.0.0)
-Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), coq (>= 8.1)
+Build-Depends-Indep:
+ texlive,
+ texlive-base,
+ texlive-latex-extra,
+ texlive-math-extra,
+ texlive-lang-french,
+ texlive-humanities,
+ hevea (>= 1.05),
+ ocaml-nox
 Homepage: http://coq.inria.fr/
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git

-- 
coq-doc packaging