X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=e2d76d405b7ce4025e90f32f038eaa8e9ecaa589;hb=acf29bdbdcdc6ad8c2d9d27e8a47500981b605cd;hp=0246a64958fe34f7918f0bd40119e4f82708bc37;hpb=a864255e782859e2b3b7da08297f5d3fe2ee710d;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control
index 0246a6495..e2d76d405 100644
--- a/helm/DEVEL/lablgtkmathview/debian/control
+++ b/helm/DEVEL/lablgtkmathview/debian/control
@@ -2,7 +2,7 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.08, ocaml-findlib, liblablgtk2-ocaml-dev (>= 2.4.0), libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.3), pkg-config, autoconf
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.08, ocaml (>= 3.08.2), ocaml-findlib, liblablgtk2-ocaml-dev (>= 2.4.0+2004.11.19-1), libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.4), pkg-config, autoconf
 Standards-Version: 3.6.1.1
 
 Package: liblablgtkmathview-ocaml
@@ -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.08, liblablgtk2-ocaml-dev (>= 2.4.0), libgtkmathview0 (>= 0.6.3), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.3), ${misc:Depends}
+Depends: ocaml-3.08, liblablgtk2-ocaml-dev (>= 2.4.0), libgtkmathview0 (>= 0.6.4), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.4), ${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.