The following commit has been merged in the master branch:
commit ee3cc443f39a3e15a3a7806de317433b05dcdeb4
Author: Stephane Glondu <st...@glondu.net>
Date:   Mon Mar 12 12:53:37 2012 +0100

    Update changelog

diff --git a/debian/changelog b/debian/changelog
index 06904aa..7f0a29d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+matita (0.5.8-4) UNRELEASED; urgency=low
+
+  * Fix FTBFS with camlp5 6.05
+
+ -- St├ęphane Glondu <glo...@debian.org>  Mon, 12 Mar 2012 12:53:25 +0100
+
 matita (0.5.8-3) unstable; urgency=low
 
   [ St├ęphane Glondu ]

-- 
matita packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to