X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=76b227606f66132b6046db2bb8fb5c33cbab7cd6;hb=cf497123176d912bdef9baa16c25ace0ad9477fe;hp=eb2663ac1c2e3d89bb6f83745e180c63a2ccb9d1;hpb=8b31618bf8fcea8cd62f8017adef41092dd6789b;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control
index eb2663ac1..76b227606 100644
--- a/helm/DEVEL/lablgtkmathview/debian/control
+++ b/helm/DEVEL/lablgtkmathview/debian/control
@@ -2,14 +2,13 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 3.0.0), ocaml (>= 3.04), ocaml (<< 3.05), ocaml-findlib, liblablgtk-ocaml-dev (>= 1.2.3), libgdome2-ocaml-dev (>= 0.0.3-4), libgtkmathview-dev (>= 0.3.0-2), libxml2-dev, libgdome2-dev, libgdome2-cpp-smart-dev, t1lib-dev (>= 1.3)
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.06, ocaml-findlib (>= 0.7.1), liblablgtk-ocaml-dev (>= 1.2.3), libgdome2-ocaml-dev (>= 0.0.3-4), libgtkmathview-dev (>= 0.3.0-2), libxml2-dev, libgdome2-dev, libgdome2-cpp-smart-dev, t1lib-dev (>= 1.3)
 Standards-Version: 3.5.6
 
 Package: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml (>= 3.04), ocaml (<< 3.05), libgdome2-ocaml, ${shlibs:Depends}
-Conflicts: lablgtkmathview (<< 0.3.0)
+Depends: ocaml-base-3.06, liblablgtk-ocaml, libgdome2-ocaml, ${shlibs:Depends}
 Description: OCaml binding for libgtkmathview
  This is the Ocaml binding for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
@@ -19,10 +18,7 @@ Description: OCaml binding for libgtkmathview
 Package: liblablgtkmathview-ocaml-dev
 Architecture: any
 Section: devel
-Depends: ocaml (>= 3.04), ocaml (<< 3.05), libgtkmathview0 (>= 0.3.0), liblablgtkmathview-ocaml (= ${Source-Version})
-Provides: lablgtkmathview
-Conflicts: lablgtkmathview
-Replaces: lablgtkmathview
+Depends: ocaml-3.06, liblablgtk-ocaml-dev, libgtkmathview0 (>= 0.3.0), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib
 Description: OCaml binding for libgtkmathview
  These are the Ocaml bindings for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.