ocaml 3.09 transition

[helm.git] / helm / DEVEL / lablgtksourceview / debian / control

diff --git a/helm/DEVEL/lablgtksourceview/debian/control b/helm/DEVEL/lablgtksourceview/debian/control
index 31664ed3b7f10d2b2171e39bdf6590ca75cf0c36..ab0ca84d5e9e585013c1a36a35cc579f35d60e15 100644 (file)
--- 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