X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fcontrol;h=c812e911d401448d6b4360380d28af085a7fd5a0;hb=58cc9aa288286beb79f78ce4546d5a4bebde54e5;hp=71d2dfb0c8dc84c8c0bbe9373f8e67642bbb3927;hpb=1ddd82e7c4d325be83ad62976a036b6f0ffbe0a1;p=helm.git diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control index 71d2dfb0c..c812e911d 100644 --- a/helm/DEVEL/lablgtkmathview/debian/control +++ b/helm/DEVEL/lablgtkmathview/debian/control @@ -2,14 +2,26 @@ Source: lablgtkmathview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 2.0.0), ocaml (>= 3.02), lablgtk (= 1.2.1helm-1), mlminidom (>= 0.2.1), libgtk1.2-dev, libgtkmathview-dev (>= 0.2.8), libminidom-dev (>= 0.1.3), libxml2-dev, ocaml-findlib -Standards-Version: 3.5.2 +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 -Package: lablgtkmathview +Package: liblablgtkmathview-ocaml Architecture: any -Depends: ${shlibs:Depends} -Recommends: ocaml, libgtkmathview0 +Section: libs +Depends: ocaml-base-3.06-1, 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. + . + This package contains only the shared runtime stub libraries. + +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) +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.