X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2Fdebian%2Fcontrol;h=ab0ca84d5e9e585013c1a36a35cc579f35d60e15;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=2ede7d0212c9470509073b85444f42219d4562b8;hpb=b3a8802451f71975faaa3dc91dd24a41781bee36;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/debian/control b/helm/DEVEL/lablgtksourceview/debian/control
index 2ede7d021..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)
-Standards-Version: 3.6.1.1
+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