]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/debian/control
fixed parse error for ocaml 3.08
[helm.git] / helm / DEVEL / lablgtkmathview / debian / control
index 645634cb42c1e3f29988af60ff37a7d8f04728cb..0246a64958fe34f7918f0bd40119e4f82708bc37 100644 (file)
@@ -2,14 +2,26 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
 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 (>> 4.0.0), ocaml-3.08, ocaml-findlib, liblablgtk2-ocaml-dev (>= 2.4.0), libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.3), pkg-config, autoconf
+Standards-Version: 3.6.1.1
 
 
-Package: lablgtkmathview
+Package: liblablgtkmathview-ocaml
 Architecture: any
 Architecture: any
-Depends: ${shlibs:Depends}
-Recommends: ocaml, libgtkmathview0
-Description: OCaml binding for libgtkmathview
+Section: libs
+Depends: ocaml-base-nox-3.08, liblablgtk2-ocaml (>= 2.4.0), libgdome2-ocaml (>= 0.2.1-3), ${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.
  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: libdevel
+Depends: ocaml-3.08, liblablgtk2-ocaml-dev (>= 2.4.0), libgtkmathview0 (>= 0.6.3), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.1-3), libgtkmathview-dev (>= 0.6.3), ${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.
+ .
+ This package contains the development part of the lablgtkmathview package.