From: Stefano Zacchiroli Date: Tue, 16 May 2006 23:03:30 +0000 (+0000) Subject: transition to ocaml 3.09.2 X-Git-Tag: 0.4.95@7852~1460 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3c974a8aad9f1f4fa1c16478391bdae3fbe8408;p=helm.git transition to ocaml 3.09.2 --- diff --git a/DEVEL/gdome_xslt/debian/changelog b/DEVEL/gdome_xslt/debian/changelog index 40ed12429..6b925e140 100644 --- a/DEVEL/gdome_xslt/debian/changelog +++ b/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/DEVEL/gdome_xslt/debian/control b/DEVEL/gdome_xslt/debian/control index baf781572..0aa2c0d05 100644 --- a/DEVEL/gdome_xslt/debian/control +++ b/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/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs b/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs index 14f5df548..0f188d505 100644 --- a/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs +++ b/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/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install b/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install index 814f477f4..bb57da103 100644 --- a/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install +++ b/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/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs b/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs index 14f5df548..0f188d505 100644 --- a/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs +++ b/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/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install b/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install index e51260287..769e124fc 100644 --- a/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install +++ b/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