]> matita.cs.unibo.it Git - helm.git/commitdiff
ported debian stuff to ocaml 3.08
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Jul 2004 14:59:24 +0000 (14:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Jul 2004 14:59:24 +0000 (14:59 +0000)
helm/DEVEL/gdome_xslt/debian/changelog
helm/DEVEL/gdome_xslt/debian/control
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install

index f994ba52fbdf6fa896e06e58e24f5e4db65cc0c4..7529e87ad268e80a1ca9f6c314f28af2a18e988c 100644 (file)
@@ -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 <zack@debian.org>  Mon, 26 Jul 2004 16:47:13 +0200
+
 gdome2-xslt (0.0.6-3) unstable; urgency=high
 
   * ocaml/gdome_xslt/Makefile.am
index 1b98991f7bd388f10b0eb695c21f2cac90e59a3e..1127ee95bdae72dc25e499cee2fe71e0c074d7ad 100644 (file)
@@ -2,8 +2,8 @@ Source: gdome2-xslt
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-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
index 35dced577a61346e1ff56f58c149ab873233727c..f552f091a2effa1c6455bdc70b5a38943b020374 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.07
+usr/lib/ocaml/3.08
index fb0bb95e230a1d8ae469aa7b292af7b2a98c89a6..b436f8375d3b19e0157130ea4cc710b88d118b01 100644 (file)
@@ -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/
index 35dced577a61346e1ff56f58c149ab873233727c..f552f091a2effa1c6455bdc70b5a38943b020374 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.07
+usr/lib/ocaml/3.08
index eba52a83741e07a796d79a3b6c3e7689970c7391..91bd7c8a02c7c25eff5df1abae1816e4e8066627 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.07/stublibs/dll*.so
+usr/lib/ocaml/3.08/stublibs/dll*.so