]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/debian/control
debian version 0.0.6-6
[helm.git] / helm / DEVEL / lablgtkmathview / debian / control
index 0e458b673748467113d9aa0ea89433581d6532ed..0246a64958fe34f7918f0bd40119e4f82708bc37 100644 (file)
@@ -2,15 +2,14 @@ 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
-Standards-Version: 3.5.6
+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: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml (>= 3.04), ocaml (<< 3.05), libgdome2-ocaml, ${shlibs:Depends}
-Conflicts: lablgtkmathview (<< 0.3.0)
-Description: OCaml binding for libgtkmathview
+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.
  .
@@ -18,12 +17,9 @@ 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
-Description: OCaml binding for libgtkmathview
+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.
  .