X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Fdebian%2Fcontrol;h=df874e90f6c30dfe3a29e011d888beb9687f2ccd;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=85cb25fddad9f6a0c4bf4d5357adf84d9dce7929;hpb=9db59fb2f254e37ae424d80cccd8ecc1c65ab6a8;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control
index 85cb25fdd..df874e90f 100644
--- a/helm/DEVEL/gdome_xslt/debian/control
+++ b/helm/DEVEL/gdome_xslt/debian/control
@@ -1,31 +1,58 @@
-Source: libxslt-ocaml
+Source: gdome2-xslt
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 3.0.0), ocaml, ocaml-findlib, libgdome2-ocaml-dev, libgdome2-dev, libxslt1-dev
-Standards-Version: 3.5.2
+Build-Depends: debhelper (>= 4.1.0), ocaml-nox-3.08.3, ocaml-findlib (>= 0.8-5), libgdome2-ocaml-dev (>= 0.2.3), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.3), pkg-config, cdbs
+Standards-Version: 3.6.1.1
+
+Package: libgdome2-xslt0c2
+Section: libs
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Replaces: libgdome2-xslt0
+Conflicts: libgdome2-xslt0
+Description: Minimal XSLT processor working on GDome2 documents
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
+ .
+ This package includes shared libraries for the C implementation
+ and for the C++ bindings.
+
+Package: libgdome2-xslt-dev
+Section: libdevel
+Architecture: any
+Depends: libgdome2-xslt0c2 (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.3), ${misc:Depends}
+Description: Minimal XSLT processor working on GDome2 documents
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
+ .
+ This package includes development support files for the C
+ library and for its C++ bindings.
 
 Package: libgdome2-xslt-ocaml
 Architecture: any
-Depends: ocaml (>= 3.04), ocaml (<< 3.05), ${shlibs:Depends}
-Description: OCaml XSLT processing library
- This OCaml library provides an high level API for XSLT
- processing.
+Depends: ocaml-base-nox-3.08.3, libgdome2-ocaml (>= 0.2.3), ${shlibs:Depends}, ${misc:Depends}
+Description: OCaml bindings for a minimal GDome2 based XSLT processor
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
  .
- The underlying implementation is based on libxml, libgdome2 and
- libxslt.
+ This package ships the OCaml language bindings for gdome2-xslt.
  .
- This package contains only the shared runtime stub libraries.
+ This package contains only the OCaml shared runtime stub libraries.
 
 Package: libgdome2-xslt-ocaml-dev
 Architecture: any
-Section: devel
-Depends: ocaml (>= 3.04), ocaml (<< 3.05), libgdome2-xslt-ocaml (= ${Source-Version}), libxslt1-dev, libgdome2-dev
-Description: OCaml XSLT processing library
- This OCaml library provides an high level API for XSLT
- processing.
+Section: libdevel
+Depends: ocaml-nox-3.08.3, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.3), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends}
+Description: OCaml bindings for a minimal GDome2 based XSLT processor
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
  .
- The underlying implementation is based on libxml, libgdome2 and
- libxslt.
+ This package ships the OCaml language bindings for gdome2-xslt.
  .
- This package contains all the development stuff.
+ This package contains OCaml development stuff for gdome2-xslt.
+