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
