From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 7 Jul 2005 12:23:59 +0000 (+0000)
Subject: - new upstream release
X-Git-Tag: V_0_7_1~18
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=79186eb29bc877d9092db853990e752f5cab2eed;p=helm.git

- new upstream release
- gcc 4 abi transition
---

diff --git a/helm/DEVEL/gdome_xslt/debian/changelog b/helm/DEVEL/gdome_xslt/debian/changelog
index bb84d780e..7c5bdda42 100644
--- a/helm/DEVEL/gdome_xslt/debian/changelog
+++ b/helm/DEVEL/gdome_xslt/debian/changelog
@@ -1,3 +1,14 @@
+gdome2-xslt (0.0.7-1) unstable; urgency=low
+
+  * New upstream release
+    - enable static linking of C/OCaml glue code
+  * debian/control
+    - bumped dependencies to gmetadom 0.2.3
+  * debian/*
+    - ABI transition for gcc 4
+
+ -- Stefano Zacchiroli <zack@debian.org>  Thu,  7 Jul 2005 10:39:37 +0000
+
 gdome2-xslt (0.0.6-8) unstable; urgency=low
 
   * debian/rules
diff --git a/helm/DEVEL/gdome_xslt/debian/control b/helm/DEVEL/gdome_xslt/debian/control
index f08d40e3a..df874e90f 100644
--- a/helm/DEVEL/gdome_xslt/debian/control
+++ b/helm/DEVEL/gdome_xslt/debian/control
@@ -2,13 +2,15 @@ Source: gdome2-xslt
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>= 4.1.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, cdbs
+Build-Depends: debhelper (>= 4.1.0), ocaml-nox-3.08.3, ocaml-findlib (>= 0.8-5), libgdome2-ocaml-dev (>= 0.2.3), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.3), pkg-config, cdbs
 Standards-Version: 3.6.1.1
 
-Package: libgdome2-xslt0
+Package: libgdome2-xslt0c2
 Section: libs
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends}
+Replaces: libgdome2-xslt0
+Conflicts: libgdome2-xslt0
 Description: Minimal XSLT processor working on GDome2 documents
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
@@ -20,7 +22,7 @@ Description: Minimal XSLT processor working on GDome2 documents
 Package: libgdome2-xslt-dev
 Section: libdevel
 Architecture: any
-Depends: libgdome2-xslt0 (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.1), ${misc:Depends}
+Depends: libgdome2-xslt0c2 (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.3), ${misc:Depends}
 Description: Minimal XSLT processor working on GDome2 documents
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
@@ -31,7 +33,7 @@ Description: Minimal XSLT processor working on GDome2 documents
 
 Package: libgdome2-xslt-ocaml
 Architecture: any
-Depends: ocaml-base-nox-3.08.3, libgdome2-ocaml (>= 0.2.1), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-3.08.3, libgdome2-ocaml (>= 0.2.3), ${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 +46,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.3, 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.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
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0.install b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0.install
deleted file mode 100644
index 79bbe2f02..000000000
--- a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0.install
+++ /dev/null
@@ -1 +0,0 @@
-debian/tmp/usr/lib/*.so.*
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0c2.install b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0c2.install
new file mode 100644
index 000000000..79bbe2f02
--- /dev/null
+++ b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0c2.install
@@ -0,0 +1 @@
+debian/tmp/usr/lib/*.so.*