X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=92dd81a1f6c53f8c8abd38667ac0e1aebbbbd54e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4e0109435b4e4ee6804359440224a5e37a9cd16a;hpb=b689a2381eedeadd6a23f74348b4322c5f0085d6;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control
index 4e0109435..92dd81a1f 100644
--- a/helm/DEVEL/lablgtkmathview/debian/control
+++ b/helm/DEVEL/lablgtkmathview/debian/control
@@ -2,14 +2,14 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.06-1, ocaml-findlib, liblablgtk-ocaml-dev (>= 1.2.5), liblablgtk-ocaml-dev (<< 1.2.6), libgdome2-ocaml-dev (>= 0.1.5), libgdome2-ocaml-dev (<< 0.1.6), libgtkmathview-dev (>= 0.4.0), libxml2-dev, libgdome2-dev, libgdome2-cpp-smart-dev, t1lib-dev (>= 1.3)
-Standards-Version: 3.5.8
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= 3.09.0), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0), libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), pkg-config
+Standards-Version: 3.6.2
 
 Package: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml-base-3.06-1, liblablgtk-ocaml, libgdome2-ocaml, ${shlibs:Depends}
-Description: OCaml binding for libgtkmathview
+Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), libgdome2-ocaml (>= 0.2.3), libgtkmathview0c2a (>= 0.7.5), ${shlibs:Depends}, ${misc:Depends}
+Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  This is the Ocaml binding for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
  .
@@ -17,9 +17,9 @@ Description: OCaml binding for libgtkmathview
 
 Package: liblablgtkmathview-ocaml-dev
 Architecture: any
-Section: devel
-Depends: ocaml-3.06-1, liblablgtk-ocaml-dev (>= 1.2.5), liblablgtk-ocaml-dev (<< 1.2.6), libgtkmathview0 (>= 0.4.0), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.1.5), libgdome2-ocaml-dev (<< 0.1.6), t1lib-dev, libgtkmathview-dev (>= 0.4.0)
-Description: OCaml binding for libgtkmathview
+Section: libdevel
+Depends: ocaml-nox-${F:OCamlABI}, liblablgtk2-ocaml-dev (>= 2.6.0), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
+Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  These are the Ocaml bindings for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
  .