]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/debian/control
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / debian / control
index b88b7e3c61e40f318ea8a79277efb03ce4bb03f4..c87009e09e340bf82cedc3fda6eb3703b06971c1 100644 (file)
@@ -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.
  .