X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Fdebian%2Fcontrol;h=29840c717840672c16d8ba199d6ae8d3cd5cebbf;hb=8f89cdd08d9ee0a243cf84201bf42e5503759ee3;hp=85cb25fddad9f6a0c4bf4d5357adf84d9dce7929;hpb=9db59fb2f254e37ae424d80cccd8ecc1c65ab6a8;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control
index 85cb25fdd..29840c717 100644
--- a/helm/DEVEL/gdome_xslt/debian/control
+++ b/helm/DEVEL/gdome_xslt/debian/control
@@ -2,12 +2,12 @@ Source: libxslt-ocaml
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 3.0.0), ocaml, ocaml-findlib, libgdome2-ocaml-dev, libgdome2-dev, libxslt1-dev
-Standards-Version: 3.5.2
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.06, ocaml-findlib, libgdome2-ocaml-dev, libgdome2-dev, libxslt1-dev
+Standards-Version: 3.5.6
 
 Package: libgdome2-xslt-ocaml
 Architecture: any
-Depends: ocaml (>= 3.04), ocaml (<< 3.05), ${shlibs:Depends}
+Depends: ocaml-base-3.06, ${shlibs:Depends}
 Description: OCaml XSLT processing library
  This OCaml library provides an high level API for XSLT
  processing.
@@ -20,7 +20,7 @@ Description: OCaml XSLT processing library
 Package: libgdome2-xslt-ocaml-dev
 Architecture: any
 Section: devel
-Depends: ocaml (>= 3.04), ocaml (<< 3.05), libgdome2-xslt-ocaml (= ${Source-Version}), libxslt1-dev, libgdome2-dev
+Depends: ocaml-3.06, libgdome2-xslt-ocaml (= ${Source-Version}), libxslt1-dev, libgdome2-dev
 Description: OCaml XSLT processing library
  This OCaml library provides an high level API for XSLT
  processing.