From: Stefano Zacchiroli Date: Fri, 10 Oct 2003 07:55:13 +0000 (+0000) Subject: debian snapshot version 0.0.6-2 X-Git-Tag: V_0_5_1_2~3 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=237ed7ab6fe4669a089443522f2ec74dd0633c1c;p=helm.git debian snapshot version 0.0.6-2 --- diff --git a/helm/DEVEL/gdome_xslt/debian/changelog b/helm/DEVEL/gdome_xslt/debian/changelog index 5727e9417..c73637008 100644 --- a/helm/DEVEL/gdome_xslt/debian/changelog +++ b/helm/DEVEL/gdome_xslt/debian/changelog @@ -1,10 +1,29 @@ -gdome2-xslt (0.0.5-1) unstable; urgency=low +gdome2-xslt (0.0.6-2) unstable; urgency=low + + * Rebuilt against gmetadom 0.2.1, gdome2 0.8.1 (should link against glib2) + + -- Stefano Zacchiroli Fri, 10 Oct 2003 09:38:27 +0200 + +gdome2-xslt (0.0.6-1) unstable; urgency=low * ocaml binding - wrapped XSLT stylesheet application in a blocking section so that it can be interrupted by ocaml exceptions, signals, ... + * restructured/cleaned up Makefiles + + -- Stefano Zacchiroli Sat, 4 Oct 2003 17:09:37 +0200 + +gdome2-xslt (0.0.4-9) unstable; urgency=low + + * Rebuilt with ocaml 3.07 + + -- Stefano Zacchiroli Wed, 1 Oct 2003 14:18:19 +0200 + +gdome2-xslt (0.0.4-8) unstable; urgency=low + + * Rebuilt with ocaml 3.07beta2 - -- Stefano Zacchiroli Mon, 14 Jul 2003 16:05:43 +0200 + -- Stefano Zacchiroli Mon, 22 Sep 2003 18:26:04 +0200 gdome2-xslt (0.0.4-7) unstable; urgency=low diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control index dc84635f4..f26c1c9f6 100644 --- a/helm/DEVEL/gdome_xslt/debian/control +++ b/helm/DEVEL/gdome_xslt/debian/control @@ -2,7 +2,7 @@ Source: gdome2-xslt Section: devel Priority: optional Maintainer: Stefano Zacchiroli -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 +Build-Depends: debhelper (>> 4.0.0), ocaml-3.07, ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.1), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.1), pkg-config Standards-Version: 3.5.10 Package: libgdome2-xslt0 @@ -20,7 +20,7 @@ Description: Minimal XSLT processor working on GDome2 documents Package: libgdome2-xslt-dev Section: libdevel Architecture: any -Depends: libgdome2-xslt0 (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.7.4), libgdome2-cpp-smart-dev (>= 0.1.10-3), ${misc:Depends} +Depends: libgdome2-xslt0 (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.1), ${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 @@ -31,7 +31,7 @@ Description: Minimal XSLT processor working on GDome2 documents Package: libgdome2-xslt-ocaml Architecture: any -Depends: ocaml-base-3.06-1, libgdome2-ocaml (>= 0.1.10-3), ${shlibs:Depends}, ${misc:Depends} +Depends: ocaml-base-3.07, libgdome2-ocaml (>= 0.2.1), ${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 @@ -44,7 +44,7 @@ Description: OCaml bindings for a minimal GDome2 based XSLT processor Package: libgdome2-xslt-ocaml-dev Architecture: any Section: libdevel -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} +Depends: ocaml-3.07, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1), 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 diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs index 8fd999513..35dced577 100644 --- a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs +++ b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs @@ -1 +1 @@ -usr/lib/ocaml/3.06 +usr/lib/ocaml/3.07 diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install index e7203c324..fb0bb95e2 100644 --- a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install +++ b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install @@ -1,3 +1,3 @@ -usr/lib/ocaml/3.06/stublibs/*.owner -usr/lib/ocaml/3.06/stublibs/lib*.so -usr/lib/ocaml/3.06/gdome2-xslt/ +usr/lib/ocaml/3.07/stublibs/*.owner +usr/lib/ocaml/3.07/stublibs/lib*.so +usr/lib/ocaml/3.07/gdome2-xslt/ diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs index 8fd999513..35dced577 100644 --- a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs +++ b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs @@ -1 +1 @@ -usr/lib/ocaml/3.06 +usr/lib/ocaml/3.07 diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install index 2dd4e59d9..eba52a837 100644 --- a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install +++ b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install @@ -1 +1 @@ -usr/lib/ocaml/3.06/stublibs/dll*.so +usr/lib/ocaml/3.07/stublibs/dll*.so