X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2Fdebian%2Fcontrol;h=ab0ca84d5e9e585013c1a36a35cc579f35d60e15;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=31664ed3b7f10d2b2171e39bdf6590ca75cf0c36;hpb=c0c56a8f8ad4d177fbd4025a92fb5317240b33fe;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/debian/control b/helm/DEVEL/lablgtksourceview/debian/control
index 31664ed3b..ab0ca84d5 100644
--- a/helm/DEVEL/lablgtksourceview/debian/control
+++ b/helm/DEVEL/lablgtksourceview/debian/control
@@ -2,13 +2,13 @@ Source: lablgtksourceview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox-3.08.3, liblablgtk2-ocaml-dev (>= 2.4.0+2005.06.13-1), libgtksourceview-dev (>= 1.2.0)
+Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= 3.09.0), liblablgtk2-ocaml-dev (>= 2.6.0), libgtksourceview-dev (>= 1.2.0)
 Standards-Version: 3.6.2
 
 Package: liblablgtksourceview-ocaml-dev
 Architecture: any
 Section: libdevel
-Depends: ocaml-nox-3.08.3, ocaml-findlib, liblablgtksourceview-ocaml (= ${Source-Version}), liblablgtk2-ocaml-dev (>= 2.4.0+2005.06.13-1), libgtksourceview-dev (>= 1.2.0), ${misc:Depends}
+Depends: ocaml-nox-${F:OCamlABI}, ocaml-findlib, liblablgtksourceview-ocaml (= ${Source-Version}), liblablgtk2-ocaml-dev (>= 2.6.0), libgtksourceview-dev (>= 1.2.0), ${misc:Depends}
 Description: OCaml bindings for libgtksourceview, a source editor GTK widget
  This is the OCaml binding for the GtkSourceView widget, a text widget that
  extends the standard gtk+ 2.x text widget with syntax highlighting and other
@@ -19,7 +19,7 @@ Description: OCaml bindings for libgtksourceview, a source editor GTK widget
 Package: liblablgtksourceview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml-base-nox-3.08.3, liblablgtk2-ocaml (>= 2.4.0+2005.06.13-1), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings for libgtksourceview, a source editor GTK widget
  This is the OCaml binding for the GtkSourceView widget, a text widget that
  extends the standard gtk+ 2.x text widget with syntax highlighting and other