[Pkg-ocaml-maint-commits] r2066 - trunk/packages/gmetadom/trunk/debian

[Stefano Zacchiroli]

Author: zack
Date: 2005-11-17 09:41:02 +0000 (Thu, 17 Nov 2005)
New Revision: 2066

Modified:
   trunk/packages/gmetadom/trunk/debian/control
   trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.dirs
   trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.install
   trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.dirs
   trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.install
Log:
re-run ocamlinit with ocaml 3.09


Modified: trunk/packages/gmetadom/trunk/debian/control
===================================================================
--- trunk/packages/gmetadom/trunk/debian/control	2005-11-17 09:36:36 UTC (rev 2065)
+++ trunk/packages/gmetadom/trunk/debian/control	2005-11-17 09:41:02 UTC (rev 2066)
@@ -2,7 +2,7 @@
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack at debian.org>
-Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= 3.08.3), ocaml-findlib (>= 1.1), libgdome2-dev (>= 0.8.1), pkg-config, dpatch, cdbs
+Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= 3.09.0), ocaml-findlib (>= 1.1), libgdome2-dev (>= 0.8.1), pkg-config, dpatch, cdbs
 Standards-Version: 3.6.2
 
 Package: libgdome2-cpp-smart0c2a

Modified: trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.dirs
===================================================================
--- trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.dirs	2005-11-17 09:36:36 UTC (rev 2065)
+++ trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.dirs	2005-11-17 09:41:02 UTC (rev 2066)
@@ -1 +1 @@
-usr/lib/ocaml/3.08.3/gdome2
+usr/lib/ocaml/3.09.0/gdome2

Modified: trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.install
===================================================================
--- trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.install	2005-11-17 09:36:36 UTC (rev 2065)
+++ trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml-dev.install	2005-11-17 09:41:02 UTC (rev 2066)
@@ -1,2 +1,2 @@
-debian/tmp/usr/lib/ocaml/3.08.3/gdome2/             usr/lib/ocaml/3.08.3/
-debian/tmp/usr/lib/ocaml/3.08.3/stublibs/*.owner    usr/lib/ocaml/3.08.3/stublibs/
+debian/tmp/usr/lib/ocaml/3.09.0/gdome2/             usr/lib/ocaml/3.09.0/
+debian/tmp/usr/lib/ocaml/3.09.0/stublibs/*.owner    usr/lib/ocaml/3.09.0/stublibs/

Modified: trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.dirs
===================================================================
--- trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.dirs	2005-11-17 09:36:36 UTC (rev 2065)
+++ trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.dirs	2005-11-17 09:41:02 UTC (rev 2066)
@@ -1 +1 @@
-usr/lib/ocaml/3.08.3/stublibs
+usr/lib/ocaml/3.09.0/stublibs

Modified: trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.install
===================================================================
--- trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.install	2005-11-17 09:36:36 UTC (rev 2065)
+++ trunk/packages/gmetadom/trunk/debian/libgdome2-ocaml.install	2005-11-17 09:41:02 UTC (rev 2066)
@@ -1 +1 @@
-debian/tmp/usr/lib/ocaml/3.08.3/stublibs/*.so       usr/lib/ocaml/3.08.3/stublibs/
+debian/tmp/usr/lib/ocaml/3.09.0/stublibs/*.so       usr/lib/ocaml/3.09.0/stublibs/