From 3bb4ce11fb9d4c6375483a80344beb94c4517dd7 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 26 Jul 2004 14:59:24 +0000 Subject: [PATCH] ported debian stuff to ocaml 3.08 --- helm/DEVEL/gdome_xslt/debian/changelog | 12 ++++++++++++ helm/DEVEL/gdome_xslt/debian/control | 8 ++++---- .../gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs | 2 +- .../debian/libgdome2-xslt-ocaml-dev.install | 6 +++--- .../gdome_xslt/debian/libgdome2-xslt-ocaml.dirs | 2 +- .../gdome_xslt/debian/libgdome2-xslt-ocaml.install | 2 +- 6 files changed, 22 insertions(+), 10 deletions(-) diff --git a/helm/DEVEL/gdome_xslt/debian/changelog b/helm/DEVEL/gdome_xslt/debian/changelog index f994ba52f..7529e87ad 100644 --- a/helm/DEVEL/gdome_xslt/debian/changelog +++ b/helm/DEVEL/gdome_xslt/debian/changelog @@ -1,3 +1,15 @@ +gdome2-xslt (0.0.6-4) unstable; urgency=low + + * rebuilt with ocaml 3.08 + * debian/control + - bumped ocaml deps to 3.08 + - bumped standards-version to 3.6.1.1 + - changed ocaml deps to ocaml-nox + - bumped gmetadom (ocaml part) versions to >= 0.2.1-3 (first version + rebuilt with ocaml 3.08) + + -- Stefano Zacchiroli Mon, 26 Jul 2004 16:47:13 +0200 + gdome2-xslt (0.0.6-3) unstable; urgency=high * ocaml/gdome_xslt/Makefile.am diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control index 1b98991f7..1127ee95b 100644 --- a/helm/DEVEL/gdome_xslt/debian/control +++ b/helm/DEVEL/gdome_xslt/debian/control @@ -2,8 +2,8 @@ Source: gdome2-xslt Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 4.0.0), ocaml-3.07, ocaml-findlib (>= 0.8-5), 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 +Build-Depends: debhelper (>> 4.0.0), ocaml-nox-3.08, ocaml-findlib (>= 0.8-5), libgdome2-ocaml-dev (>= 0.2.1-3), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.1), pkg-config +Standards-Version: 3.6.1.1 Package: libgdome2-xslt0 Section: libs @@ -31,7 +31,7 @@ Description: Minimal XSLT processor working on GDome2 documents Package: libgdome2-xslt-ocaml Architecture: any -Depends: ocaml-base-3.07, libgdome2-ocaml (>= 0.2.1), ${shlibs:Depends}, ${misc:Depends} +Depends: ocaml-base-3.08, 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.07, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends} +Depends: ocaml-nox-3.08, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1-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 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 35dced577..f552f091a 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.07 +usr/lib/ocaml/3.08 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 fb0bb95e2..b436f8375 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.07/stublibs/*.owner -usr/lib/ocaml/3.07/stublibs/lib*.so -usr/lib/ocaml/3.07/gdome2-xslt/ +usr/lib/ocaml/3.08/stublibs/*.owner +usr/lib/ocaml/3.08/stublibs/lib*.so +usr/lib/ocaml/3.08/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 35dced577..f552f091a 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.07 +usr/lib/ocaml/3.08 diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install index eba52a837..91bd7c8a0 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.07/stublibs/dll*.so +usr/lib/ocaml/3.08/stublibs/dll*.so -- 2.39.2