From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 30 Mar 2005 07:23:33 +0000 (+0000)
Subject: debian version 0.0.5-6
X-Git-Tag: V_0_0_5_6~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fdd8107cc53f5e862004aa5fcd48593ee5634234;p=helm.git

debian version 0.0.5-6
---

diff --git a/helm/DEVEL/mathml_editor/debian/changelog b/helm/DEVEL/mathml_editor/debian/changelog
index 210f5105c..5af2b5f80 100644
--- a/helm/DEVEL/mathml_editor/debian/changelog
+++ b/helm/DEVEL/mathml_editor/debian/changelog
@@ -1,3 +1,26 @@
+editex (0.0.5-6) unstable; urgency=low
+
+  * Rebuilt against ocaml 3.08.3
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 30 Mar 2005 09:08:25 +0200
+
+editex (0.0.5-5) unstable; urgency=low
+
+  * debian/control
+    - libeditex-ocaml depends on ocaml-base-nox-3.08 instead of
+      ocaml-base-3.08 since the ocaml part of this package does not
+      depend directly on ocaml X stuff
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 25 Aug 2004 09:49:21 +0200
+
+editex (0.0.5-4) unstable; urgency=low
+
+  * ported to gtkmathview 0.6.3
+  * debian/control
+    - bumped gtkmathview deps to >= 0.6.3
+
+ -- Stefano Zacchiroli <zack@debian.org>  Mon,  2 Aug 2004 11:24:00 +0200
+
 editex (0.0.5-3) unstable; urgency=low
 
   * rebuilt with ocaml 3.08
diff --git a/helm/DEVEL/mathml_editor/debian/control b/helm/DEVEL/mathml_editor/debian/control
index 526039f78..c87009e09 100644
--- a/helm/DEVEL/mathml_editor/debian/control
+++ b/helm/DEVEL/mathml_editor/debian/control
@@ -1,7 +1,7 @@
 Source: editex
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-nox-3.08, libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-ocaml-dev (>= 0.2.1-3), libgdome2-xslt-dev (>= 0.0.6-5), libgdome2-xslt-ocaml-dev (>= 0.0.6-4), ocaml-findlib, libgtkmathview-dev (>= 0.5.2), libgtk2.0-dev, libt1-dev (>= 5.0.0)
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox-3.08.3, libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-ocaml-dev (>= 0.2.1-3), libgdome2-xslt-dev (>= 0.0.6-5), libgdome2-xslt-ocaml-dev (>= 0.0.6-4), ocaml-findlib, libgtkmathview-dev (>= 0.6.3), libgtk2.0-dev, libt1-dev (>= 5.0.0)
 Standards-Version: 3.6.1.1
 
 Package: libeditex0
@@ -25,7 +25,7 @@ Description: MathML editor based on TeX syntax
 Package: libeditex-ocaml
 Section: libs
 Architecture: any
-Depends: ocaml-base-3.08, libgdome2-ocaml (>= 0.2.1-3), libgdome2-xslt-ocaml (>= 0.0.6-4), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-3.08.3, libgdome2-ocaml (>= 0.2.1-3), libgdome2-xslt-ocaml (>= 0.0.6-4), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax
  EdiTeX is a C library implementing a MathML editor based on TeX syntax.
  .
diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
index 35a6c8d64..98d36d2a3 100644
--- a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
+++ b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
@@ -1,3 +1,3 @@
-usr/lib/ocaml/3.08/mathml-editor
-usr/lib/ocaml/3.08/stublibs/lib*.so
-usr/lib/ocaml/3.08/stublibs/dll*.so.owner
+usr/lib/ocaml/3.08.3/mathml-editor
+usr/lib/ocaml/3.08.3/stublibs/lib*.so
+usr/lib/ocaml/3.08.3/stublibs/dll*.so.owner
diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files
index 91bd7c8a0..f4d1a9de0 100644
--- a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files
+++ b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files
@@ -1 +1 @@
-usr/lib/ocaml/3.08/stublibs/dll*.so
+usr/lib/ocaml/3.08.3/stublibs/dll*.so