From: Stefano Zacchiroli 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 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 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 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 -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