Bug#802264: src:matita: FTBFS with OCaml 4.02.3

[Mehdi Dogguy <mehdi@dogguy.org>]

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