X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdebian%2Fcontrol;h=c87009e09e340bf82cedc3fda6eb3703b06971c1;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=27c78ab0f748a9b2cdc1f593771ddfa253d6dd53;hpb=5dd37f9488ff8a4ee35bd9baf547e05ae237ce42;p=helm.git diff --git a/helm/DEVEL/mathml_editor/debian/control b/helm/DEVEL/mathml_editor/debian/control index 27c78ab0f..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 -Build-Depends: debhelper (>> 4.0.0), ocaml-3.06-1, libgdome2-cpp-smart-dev (>= 0.1.9), libgdome2-ocaml-dev (>= 0.1.9), libgdome2-xslt-dev (>= 0.0.4), libgdome2-xslt-ocaml-dev (>= 0.0.4), ocaml-findlib, libgtkmathview-dev (>= 0.4.1), libgtk1.2-dev, t1lib-dev -Standards-Version: 3.5.10 +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.1.6), libgdome2-xslt-dev (>= 0.0.4), libgtk1.2-dev, t1lib-dev, ${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.06-1, libgdome2-ocaml (>= 0.1.6), libgdome2-xslt-ocaml (>= 0.0.4), liblablgtk-ocaml (>= 1.2.5), ${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.1.6), libgdome2-xslt-ocaml-dev (>= 0.0.4), liblablgtk-ocaml-dev (>= 1.2.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. .