ported to ocaml 3.09.1

diff --git a/helm/DEVEL/gdome_xslt/debian/changelog b/helm/DEVEL/gdome_xslt/debian/changelog
index 260ae3b285b014379eaa5920288c12e7b8d29de6..40ed12429cf544e1088d70d2fa25897e0901a8ef 100644 (file)
--- a/helm/DEVEL/gdome_xslt/debian/changelog
+++ b/helm/DEVEL/gdome_xslt/debian/changelog
@@ -1,3 +1,9 @@
+gdome2-xslt (0.0.7-3) unstable; urgency=low
+
+  * Rebuilt against OCaml 3.09.1, bumped deps accordingly.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sat,  7 Jan 2006 18:52:27 +0100
+
 gdome2-xslt (0.0.7-2) unstable; urgency=low
 
   * ocaml 3.09 transition

diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control
index 242f5eb6c82188b4f8aef95f18a4213ac821b3d3..baf781572b10dc7f8ab3f1f3f529448995efc96d 100644 (file)
--- 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 <zack@debian.org>
-Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= 3.09.0), 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
+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
 
 Package: libgdome2-xslt0c2a

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 7ba05d3c3da8b065034505e0e657adb45036681e..14f5df54877893ba0410c8a15ed4937f8b5f1ae8 100644 (file)
--- 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.09.0
+usr/lib/ocaml/3.09.1

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 2383fd8b1a3f66939439717e1c70082f878e5e2a..814f477f4130eeba7dfc2db99f4b1728ec290d2e 100644 (file)
--- 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 @@
-debian/tmp/usr/lib/ocaml/3.09.0/stublibs/*.owner
-debian/tmp/usr/lib/ocaml/3.09.0/stublibs/lib*.so
-debian/tmp/usr/lib/ocaml/3.09.0/gdome2-xslt/
+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/

diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs
index 7ba05d3c3da8b065034505e0e657adb45036681e..14f5df54877893ba0410c8a15ed4937f8b5f1ae8 100644 (file)
--- 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.09.0
+usr/lib/ocaml/3.09.1

diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install
index a2cb93c23cb28db7caac8554e67a9d130b468369..e51260287186b7fc007c9d5dbb25cf7941c61320 100644 (file)
--- a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install
+++ b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install
@@ -1 +1 @@
-debian/tmp/usr/lib/ocaml/3.09.0/stublibs/dll*.so
+debian/tmp/usr/lib/ocaml/3.09.1/stublibs/dll*.so