X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdebian%2Fcontrol;h=c87009e09e340bf82cedc3fda6eb3703b06971c1;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=b88b7e3c61e40f318ea8a79277efb03ce4bb03f4;hpb=5157eaf8a8d467419e0f76c4cabfe0366bd0b8c0;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/debian/control b/helm/DEVEL/mathml_editor/debian/control
index b88b7e3c6..c87009e09 100644
--- a/helm/DEVEL/mathml_editor/debian/control
+++ b/helm/DEVEL/mathml_editor/debian/control
@@ -1,8 +1,8 @@
 Source: editex
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.07, libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-ocaml-dev (>= 0.2.1), libgdome2-xslt-dev (>= 0.0.4), libgdome2-xslt-ocaml-dev (>= 0.0.6-2), ocaml-findlib (>= 0.8-5), libgtkmathview-dev (>= 0.5.2), libgtk2.0-dev, t1lib-dev (>= 1.2)
-Standards-Version: 3.6.1.0
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox-3.08.3, libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-ocaml-dev (>= 0.2.1-3), libgdome2-xslt-dev (>= 0.0.6-5), libgdome2-xslt-ocaml-dev (>= 0.0.6-4), ocaml-findlib, libgtkmathview-dev (>= 0.6.3), libgtk2.0-dev, libt1-dev (>= 5.0.0)
+Standards-Version: 3.6.1.1
 
 Package: libeditex0
 Section: libs
@@ -16,7 +16,7 @@ Description: MathML editor based on TeX syntax
 Package: libeditex-dev
 Section: libdevel
 Architecture: any
-Depends: libeditex0 (= ${Source-Version}), libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-xslt-dev (>= 0.0.6-2), libgtk2.0-dev, t1lib-dev (>= 1.2), ${misc:Depends}
+Depends: libeditex0 (= ${Source-Version}), libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-xslt-dev (>= 0.0.6-5), libgtk2.0-dev, libt1-dev (>= 5.0.0), ${misc:Depends}
 Description: MathML editor based on TeX syntax
  EdiTeX is a C library implementing a MathML editor based on TeX syntax.
  .
@@ -25,7 +25,7 @@ Description: MathML editor based on TeX syntax
 Package: libeditex-ocaml
 Section: libs
 Architecture: any
-Depends: ocaml-base-3.07, libgdome2-ocaml (>= 0.2.1), libgdome2-xslt-ocaml (>= 0.0.6-2), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-3.08.3, libgdome2-ocaml (>= 0.2.1-3), libgdome2-xslt-ocaml (>= 0.0.6-4), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax
  EdiTeX is a C library implementing a MathML editor based on TeX syntax.
  .
@@ -36,7 +36,7 @@ Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax
 Package: libeditex-ocaml-dev
 Section: libdevel
 Architecture: any
-Depends: libeditex-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1), libgdome2-xslt-ocaml-dev (>= 0.0.6), ocaml-findlib (>= 0.8-5), ${misc:Depends}
+Depends: libeditex-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1-3), libgdome2-xslt-ocaml-dev (>= 0.0.6-4), ocaml-findlib, ${misc:Depends}
 Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax
  EdiTeX is a C library implementing a MathML editor based on TeX syntax.
  .