]> matita.cs.unibo.it Git - helm.git/blobdiff - DEVEL/gdome_xslt/debian/changelog
New: on-line help for declarative tactics (first version).
[helm.git] / DEVEL / gdome_xslt / debian / changelog
index 40ed12429cf544e1088d70d2fa25897e0901a8ef..9e71ae9088a583e8355b163531a3480582da73c2 100644 (file)
@@ -1,3 +1,35 @@
+gdome2-xslt (0.0.7-6) UNRELEASED; urgency=low
+
+  * debian/rules
+    - use ocaml.mk cdbs class
+  * debian/control
+    - added XS-X-Vcs-Svn field pointing the svn repository
+    - bumped build dependency on ocaml-nox to >= 3.09.3 since we now use
+      ocaml.mk
+  * debian/control.in
+    - file removed, no longer needed
+  * debian/*.dirs, debian/*.install
+    - removed the files that are generated at build time
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sun, 17 Sep 2006 15:03:12 +0200
+
+gdome2-xslt (0.0.7-5) unstable; urgency=low
+
+  * debian/control
+    - bumped gmetadom dependencies to ensure the package is rebuilt
+      against a version of gmetadom who does not contain a spurious -lz
+      linker flag. Fixes FTBFS.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sun,  6 Aug 2006 11:41:23 +0200
+
+gdome2-xslt (0.0.7-4) unstable; urgency=low
+
+  * Rebuilt against OCaml 3.09.2, bumped deps accordingly.
+  * debian/control
+    - bumped Standards-Version to 3.7.2 (no changes needed)
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 16 May 2006 22:47:32 +0000
+
 gdome2-xslt (0.0.7-3) unstable; urgency=low
 
   * Rebuilt against OCaml 3.09.1, bumped deps accordingly.