X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=e375a2a8bae63a07b18940ad37309100b135db72;hb=60c7321771851b82493bb202185ee184f1e7a3d1;hp=d67f6dd86ab8509a64bf5b852f19f54223b9b9b7;hpb=8d6c7215f0a5bdc1407fef51e2bf07a00faaff82;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control
index d67f6dd86..e375a2a8b 100644
--- a/helm/DEVEL/lablgtkmathview/debian/control
+++ b/helm/DEVEL/lablgtkmathview/debian/control
@@ -2,13 +2,13 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.06-1, ocaml-findlib, liblablgtk-ocaml-dev (>= 1.2.5), libgdome2-ocaml-dev (>= 0.1.10-3), libgtkmathview-dev (>= 0.4.3), libxml2-dev, libgdome2-dev (>= 0.7.4), libgdome2-cpp-smart-dev (>= 0.1.10-3), t1lib-dev (>= 1.3), pkg-config
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.07, ocaml-findlib (>= 0.8-5), liblablgtk2-ocaml-dev (>= 2.2.0), libgdome2-ocaml-dev (>= 0.2.1), libgtkmathview-dev (>= 0.5.1), libxml2-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.1), t1lib-dev (>= 1.3), pkg-config, autoconf
 Standards-Version: 3.5.10
 
 Package: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml-base-3.06-1, liblablgtk-ocaml (>= 1.2.5), libgdome2-ocaml (>= 0.1.10-3), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-3.07, liblablgtk2-ocaml (>= 2.2.0), libgdome2-ocaml (>= 0.2.1), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  This is the Ocaml binding for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
@@ -18,7 +18,7 @@ Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
 Package: liblablgtkmathview-ocaml-dev
 Architecture: any
 Section: libdevel
-Depends: ocaml-3.06-1, liblablgtk-ocaml-dev (>= 1.2.5), libgtkmathview0 (>= 0.4.3), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.1.10-3), t1lib-dev, libgtkmathview-dev (>= 0.4.3), ${misc:Depends}
+Depends: ocaml-3.07, liblablgtk2-ocaml-dev (>= 2.2.0), libgtkmathview0 (>= 0.5.1), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib (>= 0.8-5), libgdome2-ocaml-dev (>= 0.2.1), t1lib-dev (>= 1.3), libgtkmathview-dev (>= 0.5.1), ${misc:Depends}
 Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  These are the Ocaml bindings for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.