X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Fdebian%2Fcontrol;h=1b98991f7bd388f10b0eb695c21f2cac90e59a3e;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=f26c1c9f6977afa24e32d6efa3859e1dbea9239b;hpb=237ed7ab6fe4669a089443522f2ec74dd0633c1c;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control
index f26c1c9f6..1b98991f7 100644
--- a/helm/DEVEL/gdome_xslt/debian/control
+++ b/helm/DEVEL/gdome_xslt/debian/control
@@ -2,7 +2,7 @@ Source: gdome2-xslt
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.07, ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.1), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.1), pkg-config
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.07, ocaml-findlib (>= 0.8-5), libgdome2-ocaml-dev (>= 0.2.1), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.1), pkg-config
 Standards-Version: 3.5.10
 
 Package: libgdome2-xslt0