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

diff --git a/helm/DEVEL/lablgtksourceview/debian/control b/helm/DEVEL/lablgtksourceview/debian/control
index e5873371c..ab0ca84d5 100644
--- a/helm/DEVEL/lablgtksourceview/debian/control
+++ b/helm/DEVEL/lablgtksourceview/debian/control
@@ -2,28 +2,28 @@ 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.02.18-3+zack), 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
+Package: liblablgtksourceview-ocaml-dev
 Architecture: any
-Section: libs
-Depends: ocaml-base-nox-3.08, liblablgtk2-ocaml (>= 2.4.0+2005.02.18-3+zack), ${shlibs:Depends}, ${misc:Depends}
+Section: libdevel
+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
  features typical of a source editor.
  .
- This package contains the shared runtime stub libraries.
+ This package contains the development part of the lablgtksourceview package.
 
-Package: liblablgtksourceview-ocaml-dev
+Package: liblablgtksourceview-ocaml
 Architecture: any
-Section: libdevel
-Depends: ocaml-nox-3.08.3, ocaml-findlib, liblablgtksourceview-ocaml (= ${Source-Version}), liblablgtk2-ocaml-dev (>= 2.4.0+2005.02.18-3+zack), libgtksourceview-dev (>= 1.2.0), ${misc:Depends}
+Section: libs
+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
  features typical of a source editor.
  .
- This package contains the development part of the lablgtksourceview package.
+ This package contains the shared runtime stub libraries.