Hi Claudio, On 25/01/2016 20:54, Claudio Sacerdoti Coen wrote: > Dear Mehdi, > > the most recent camlp5 version in git seems to fix enough bugs to let
Thanks for handling this with camlp5's upstream. I can confirm it builds fine with latest two fixes in camlp5. I'll prepare fixed packages now and will upload shortly. > the version of matita in Debian compile. > Is there any more recent version to take into account? For now, we have matita 0.99.1. What is the status of the project? Kind regards, -- Mehdi
