]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/gdome_xslt/debian/control
- better handling of proof expansion/contraction
[helm.git] / helm / DEVEL / gdome_xslt / debian / control
1 Source: gdome2-xslt
2 Section: devel
3 Priority: optional
4 Maintainer: Stefano Zacchiroli <zack@debian.org>
5 Build-Depends: debhelper (>> 4.0.0), ocaml-3.06-1, ocaml-findlib, libgdome2-ocaml-dev (>= 0.1.10-3), libgdome2-dev (>= 0.7.4), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.1.10-3), pkg-config
6 Standards-Version: 3.5.10
7
8 Package: libgdome2-xslt0
9 Section: libs
10 Architecture: any
11 Depends: ${shlibs:Depends}, ${misc:Depends}
12 Description: Minimal XSLT processor working on GDome2 documents
13  gdome2-xslt is a very small C library that implements a minimal
14  XSLT processor that can be used to apply XSLT stylesheets to
15  gdome2 documents.
16  .
17  This package includes shared libraries for the C implementation
18  and for the C++ bindings.
19
20 Package: libgdome2-xslt-dev
21 Section: libdevel
22 Architecture: any
23 Depends: libgdome2-xslt0 (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.7.4), libgdome2-cpp-smart-dev (>= 0.1.10-3), ${misc:Depends}
24 Description: Minimal XSLT processor working on GDome2 documents
25  gdome2-xslt is a very small C library that implements a minimal
26  XSLT processor that can be used to apply XSLT stylesheets to
27  gdome2 documents.
28  .
29  This package includes development support files for the C
30  library and for its C++ bindings.
31
32 Package: libgdome2-xslt-ocaml
33 Architecture: any
34 Depends: ocaml-base-3.06-1, libgdome2-ocaml (>= 0.1.10-3), ${shlibs:Depends}, ${misc:Depends}
35 Description: OCaml bindings for a minimal GDome2 based XSLT processor
36  gdome2-xslt is a very small C library that implements a minimal
37  XSLT processor that can be used to apply XSLT stylesheets to
38  gdome2 documents.
39  .
40  This package ships the OCaml language bindings for gdome2-xslt.
41  .
42  This package contains only the OCaml shared runtime stub libraries.
43
44 Package: libgdome2-xslt-ocaml-dev
45 Architecture: any
46 Section: libdevel
47 Depends: ocaml-3.06-1, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.1.10-3), libxslt1-dev, libgdome2-dev (>= 0.7.4), ${misc:Depends}
48 Description: OCaml bindings for a minimal GDome2 based XSLT processor
49  gdome2-xslt is a very small C library that implements a minimal
50  XSLT processor that can be used to apply XSLT stylesheets to
51  gdome2 documents.
52  .
53  This package ships the OCaml language bindings for gdome2-xslt.
54  .
55  This package contains OCaml development stuff for gdome2-xslt.
56