X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fchangelog;h=f4d74ef308b08d244a925551aabbc3f5686fa9ee;hb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;hp=d6b87283f51804be6b4941e3c3ca4713ffc9ac97;hpb=4d9b35c982767aa5c7ad11fa1b360cba1cc8ecd6;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/changelog b/helm/DEVEL/lablgtkmathview/debian/changelog
index d6b87283f..f4d74ef30 100644
--- a/helm/DEVEL/lablgtkmathview/debian/changelog
+++ b/helm/DEVEL/lablgtkmathview/debian/changelog
@@ -1,3 +1,49 @@
+lablgtkmathview (0.3.0-8) unstable; urgency=low
+
+  * Switched to debhelper 4
+  * Added build dep on findlib (>= 0.7.1)
+  * Rebuilt against ocaml 3.06 (Closes: Bug#158256, Bug#158266)
+  * Changed deps and build-deps to ocaml-3.06 and ocaml-base-3.06 as
+    mandated by the new ocaml packaging policy
+  * Removed mention of lablgtkmathview from debian/control
+  * Added dep on ocaml-findlib
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sun,  7 Jul 2002 13:50:52 +0200
+
+lablgtkmathview (0.3.0-7) unstable; urgency=low
+
+  * Added -fPIC when compiling some .o in order to build on HPPA
+    (Closes: #142462)
+
+ -- Stefano Zacchiroli <zack@debian.org>  Fri, 12 Apr 2002 14:31:47 +0200
+
+lablgtkmathview (0.3.0-6) unstable; urgency=low
+
+  * Added Build-Depends on t1lib-dev (Closes: Bug#140835).
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue,  2 Apr 2002 10:11:25 +0200
+
+lablgtkmathview (0.3.0-5) unstable; urgency=low
+
+  * Added Build-Depends on libgdome2-cpp-smart-dev (Closes: Bug#140720).
+
+ -- Stefano Zacchiroli <zack@debian.org>  Mon,  1 Apr 2002 09:00:03 +0200
+
+lablgtkmathview (0.3.0-4) unstable; urgency=low
+
+  * Added some .mli and .ml files that document the library interface.
+  * Added Depends: on libgdome2-ocaml, we haven't yet estabilished how to
+    interact with shlibs system for ocaml shared library that are installed in
+    /usr/lib/ocaml
+
+ -- Stefano Zacchiroli <zack@debian.org>  Mon,  1 Apr 2002 00:17:41 +0200
+
+lablgtkmathview (0.3.0-3) unstable; urgency=low
+
+  * Rebuilt against gmetadom 0.3.0-4 and gtkmathview 0.3.0-2.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 26 Mar 2002 19:17:56 +0100
+
 lablgtkmathview (0.3.0-2) unstable; urgency=low
 
   * Added build dep on libgdome2-dev