ocaml 3.09 transition

[helm.git] / helm / DEVEL / mathml_editor / debian / control

diff --git a/helm/DEVEL/mathml_editor/debian/control b/helm/DEVEL/mathml_editor/debian/control
index 526039f7802aba729285523bb168222013e78a64..c87009e09e340bf82cedc3fda6eb3703b06971c1 100644 (file)
--- a/helm/DEVEL/mathml_editor/debian/control
+++ b/helm/DEVEL/mathml_editor/debian/control
@@ -1,7 +1,7 @@
 Source: editex
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-nox-3.08, 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.5.2), libgtk2.0-dev, libt1-dev (>= 5.0.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
@@ -25,7 +25,7 @@ Description: MathML editor based on TeX syntax
 Package: libeditex-ocaml
 Section: libs
 Architecture: any
-Depends: ocaml-base-3.08, libgdome2-ocaml (>= 0.2.1-3), libgdome2-xslt-ocaml (>= 0.0.6-4), ${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.
  .