]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/debian/control
...
[helm.git] / helm / DEVEL / lablgtkmathview / debian / control
index 645634cb42c1e3f29988af60ff37a7d8f04728cb..eb2663ac1c2e3d89bb6f83745e180c63a2ccb9d1 100644 (file)
@@ -2,14 +2,30 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 2.0.0), ocaml (>= 3.02), lablgtk (= 1.2.1helm-1), libgtk1.2-dev, libgtkmathview-dev (>= 0.3.0), libxml2-dev, ocaml-findlib
-Standards-Version: 3.5.2
+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)
+Standards-Version: 3.5.6
 
-Package: lablgtkmathview
+Package: liblablgtkmathview-ocaml
 Architecture: any
-Depends: ${shlibs:Depends}
-Recommends: ocaml, libgtkmathview0
+Section: libs
+Depends: ocaml (>= 3.04), ocaml (<< 3.05), libgdome2-ocaml, ${shlibs:Depends}
+Conflicts: lablgtkmathview (<< 0.3.0)
 Description: OCaml binding for libgtkmathview
  This is the Ocaml binding for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
+ .
+ This package contains only the shared runtime stub libraries.
+
+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
+Description: OCaml binding for libgtkmathview
+ These are the Ocaml bindings for the GtkMathView widget, that is
+ currently available in the libgtkmathview0 package.
+ .
+ This package contains the development part of the lablgtkmathview package.