X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdebian%2Fchangelog;h=5af2b5f806f73b6fb133eb3ab7310095903edbfa;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=5272cff1958e85086707109d3963ae2abc452fa5;hpb=d70fefb399d883f07fd8be6e2f2c749df149f7fd;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/debian/changelog b/helm/DEVEL/mathml_editor/debian/changelog
index 5272cff19..5af2b5f80 100644
--- a/helm/DEVEL/mathml_editor/debian/changelog
+++ b/helm/DEVEL/mathml_editor/debian/changelog
@@ -1,3 +1,60 @@
+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
+  * 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) deps to >= 0.2.1-3 (1st version
+      rebuilt with ocaml 3.08)
+    - bumped gdome xslt (ocaml part) deps to >= 0.0.6-4 (1st version
+      rebuilt with ocaml 3.08)
+    - bumped gdome xslt (C/C++ part) deps to >= 0.0.6-5 (1st version
+      which fixes missing-.so bug)
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 27 Jul 2004 09:11:35 +0200
+
+editex (0.0.5-2) unstable; urgency=low
+
+  * ocaml/Makefile.am
+    - the .o files to be used in the dll are now taken from the .libs
+      subdirectoy (which presumably contains the PIC code)
+      (Closes: Bug#239697)
+
+ -- Stefano Zacchiroli <zack@debian.org>  Thu, 25 Mar 2004 12:43:39 +0100
+
+editex (0.0.5-1) unstable; urgency=low
+
+  * New upstream release
+  * debian/control
+    - depends on libt1-dev instead of t1lib-dev
+    - bumped t1 dependencies to >= 5.0.0 accordingly to gtkmathview
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 23 Mar 2004 15:38:28 +0100
+
 editex (0.0.4-3) unstable; urgency=low
 
   * debian/control