X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=dbf65f4ba1e7bb200070724c5fb7998bbe2c261d;hb=cbde79499e9e4878a0e0f5953862dbf872bd1064;hp=caafcb1f7e622cc962c22cae95ac0ab02cf47596;hpb=6777d043f985679c453ca167f82ac49a09368a86;p=helm.git

diff --git a/helm/software/DEVEL/lablgtkmathview/debian/control b/helm/software/DEVEL/lablgtkmathview/debian/control
index caafcb1f7..dbf65f4ba 100644
--- a/helm/software/DEVEL/lablgtkmathview/debian/control
+++ b/helm/software/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), cdbs, ocaml-nox (>= 3.09.3), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), pkg-config
+Build-Depends: debhelper (>> 5.0.0), cdbs, ocaml-nox (>= 3.10.0), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), pkg-config
 Standards-Version: 3.7.2
 XS-X-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/DEVEL/lablgtkmathview
 
@@ -19,7 +19,7 @@ Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
 Package: liblablgtkmathview-ocaml-dev
 Architecture: any
 Section: libdevel
-Depends: ocaml-nox-${F:OCamlABI}, liblablgtk2-ocaml-dev (>= 2.6.0-2), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
+Depends: ocaml-nox-${F:OCamlABI}, liblablgtk2-ocaml-dev (>= 2.6.0-2), liblablgtkmathview-ocaml (= ${binary:Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), ${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.