From db2337dbbb1537c10dbb0ff33b4f5ced87c55bd3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 16 May 2006 23:03:30 +0000 Subject: [PATCH] transition to ocaml 3.09.2 --- helm/software/DEVEL/gdome_xslt/debian/changelog | 8 ++++++++ helm/software/DEVEL/gdome_xslt/debian/control | 4 ++-- .../DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs | 2 +- .../gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install | 6 +++--- .../DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs | 2 +- .../DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install | 2 +- 6 files changed, 16 insertions(+), 8 deletions(-) diff --git a/helm/software/DEVEL/gdome_xslt/debian/changelog b/helm/software/DEVEL/gdome_xslt/debian/changelog index 40ed12429..6b925e140 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/changelog +++ b/helm/software/DEVEL/gdome_xslt/debian/changelog @@ -1,3 +1,11 @@ +gdome2-xslt (0.0.7-4) unstable; urgency=low + + * Rebuilt against OCaml 3.09.2, bumped deps accordingly. + * debian/control + - bumped Standards-Version to 3.7.2 (no changes needed) + + -- Stefano Zacchiroli Tue, 16 May 2006 22:47:32 +0000 + gdome2-xslt (0.0.7-3) unstable; urgency=low * Rebuilt against OCaml 3.09.1, bumped deps accordingly. diff --git a/helm/software/DEVEL/gdome_xslt/debian/control b/helm/software/DEVEL/gdome_xslt/debian/control index baf781572..0aa2c0d05 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/control +++ b/helm/software/DEVEL/gdome_xslt/debian/control @@ -2,8 +2,8 @@ Source: gdome2-xslt Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= 3.09.1), ocaml-findlib (>= 1.1), libgdome2-ocaml-dev (>= 0.2.3-4), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.3-4), pkg-config, cdbs -Standards-Version: 3.6.2 +Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= 3.09.2), ocaml-findlib (>= 1.1), libgdome2-ocaml-dev (>= 0.2.3-4), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.3-4), pkg-config, cdbs +Standards-Version: 3.7.2 Package: libgdome2-xslt0c2a Section: libs diff --git a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs index 14f5df548..0f188d505 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs +++ b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs @@ -1 +1 @@ -usr/lib/ocaml/3.09.1 +usr/lib/ocaml/3.09.2 diff --git a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install index 814f477f4..bb57da103 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install +++ b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install @@ -1,3 +1,3 @@ -debian/tmp/usr/lib/ocaml/3.09.1/stublibs/*.owner -debian/tmp/usr/lib/ocaml/3.09.1/stublibs/lib*.so -debian/tmp/usr/lib/ocaml/3.09.1/gdome2-xslt/ +debian/tmp/usr/lib/ocaml/3.09.2/stublibs/*.owner +debian/tmp/usr/lib/ocaml/3.09.2/stublibs/lib*.so +debian/tmp/usr/lib/ocaml/3.09.2/gdome2-xslt/ diff --git a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs index 14f5df548..0f188d505 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs +++ b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs @@ -1 +1 @@ -usr/lib/ocaml/3.09.1 +usr/lib/ocaml/3.09.2 diff --git a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install index e51260287..769e124fc 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install +++ b/helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install @@ -1 +1 @@ -debian/tmp/usr/lib/ocaml/3.09.1/stublibs/dll*.so +debian/tmp/usr/lib/ocaml/3.09.2/stublibs/dll*.so -- 2.39.2