[Pkg-ocaml-maint-commits] r3720 - in /trunk/packages/coq/trunk/debian: changelog control

[smimram at users.alioth.debian.org]

Author: smimram
Date: Tue Apr 24 20:56:24 2007
New Revision: 3720

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3720
Log:
Removed tetex-extra from build-dependencies.

Modified:
    trunk/packages/coq/trunk/debian/changelog
    trunk/packages/coq/trunk/debian/control

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=3720&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Tue Apr 24 20:56:24 2007
@@ -1,6 +1,7 @@
 coq (8.1+dfsg-4) unstable; urgency=low
 
   * Correctly set Coq_config.best when rebuilding in byte mode.
+  * Removed tetex-extra from build-dependencies.
 
  -- Samuel Mimram <smimram at debian.org>  Tue, 24 Apr 2007 14:46:59 +0000
 

Modified: trunk/packages/coq/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/control?rev=3720&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/control (original)
+++ trunk/packages/coq/trunk/debian/control Tue Apr 24 20:56:24 2007
@@ -4,7 +4,7 @@
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Ralf Treinen <treinen at debian.org>, Sven Luther <luther at debian.org>, Remi Vanicat <vanicat at debian.org>, Stefano Zacchiroli <zack at debian.org>, Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.7.2
-Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), tetex-extra | texlive-latex-extra, hevea
+Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea
 XS-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq
 XS-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/