[Pkg-ocaml-maint-commits] r3489 - /trunk/packages/coq-doc/trunk/debian/control

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Jan  7 20:25:57 2007
New Revision: 3489

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3489
Log:
Tighten build-deps.

Modified:
    trunk/packages/coq-doc/trunk/debian/control

Modified: trunk/packages/coq-doc/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/control?rev=3489&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/control (original)
+++ trunk/packages/coq-doc/trunk/debian/control Sun Jan  7 20:25:57 2007
@@ -4,7 +4,7 @@
 Maintainer: Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.7.2
 Build-Depends: debhelper (>= 4.0.0), dpatch
-Build-Depends-Indep: tetex-bin, hevea (>= 1.05), coq (>= 8.0)
+Build-Depends-Indep: tetex-bin, hevea (>= 1.05), coq (>= 8.1~gamma)
 XS-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-doc
 
 Package: coq-doc