]> matita.cs.unibo.it Git - helm.git/commitdiff
debian: rebuilt against ocaml 3.08.3
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Mar 2005 23:45:48 +0000 (23:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Mar 2005 23:45:48 +0000 (23:45 +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 09607a15afa368a372618ee8a4be25757bf107cb..6ebe2a9b4dba870b3c7c36db972dc42dff78bc17 100644 (file)
@@ -1,3 +1,9 @@
+gdome2-xslt (0.0.6-7) unstable; urgency=low
+
+  * rebuilt against ocaml 3.08.3
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sat, 26 Mar 2005 00:38:05 +0100
+
 gdome2-xslt (0.0.6-6) unstable; urgency=medium
 
   * debian/control
index 9182ca1a8e54f28095848d549cfe6fdb7f794111..1646d5aaf725aa475aa14cd71fc6fdcea109b1cd 100644 (file)
@@ -2,7 +2,7 @@ Source: gdome2-xslt
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-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
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox-3.08.3, 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
@@ -31,7 +31,7 @@ Description: Minimal XSLT processor working on GDome2 documents
 
 Package: libgdome2-xslt-ocaml
 Architecture: any
-Depends: ocaml-base-nox-3.08, libgdome2-ocaml (>= 0.2.1), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-3.08.3, 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-nox-3.08, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1-3), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends}
+Depends: ocaml-nox-3.08.3, 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 f552f091a2effa1c6455bdc70b5a38943b020374..8646e27b278afe5068f37570928d7d94a058144f 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.08
+usr/lib/ocaml/3.08.3
index b436f8375d3b19e0157130ea4cc710b88d118b01..1db671cbcb390f6fc3b004a71945272bafcff64a 100644 (file)
@@ -1,3 +1,3 @@
-usr/lib/ocaml/3.08/stublibs/*.owner
-usr/lib/ocaml/3.08/stublibs/lib*.so
-usr/lib/ocaml/3.08/gdome2-xslt/
+usr/lib/ocaml/3.08.3/stublibs/*.owner
+usr/lib/ocaml/3.08.3/stublibs/lib*.so
+usr/lib/ocaml/3.08.3/gdome2-xslt/
index f552f091a2effa1c6455bdc70b5a38943b020374..8646e27b278afe5068f37570928d7d94a058144f 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.08
+usr/lib/ocaml/3.08.3
index 91bd7c8a02c7c25eff5df1abae1816e4e8066627..f4d1a9de09671936127d0158533ba95616719007 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.08/stublibs/dll*.so
+usr/lib/ocaml/3.08.3/stublibs/dll*.so