On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote: > Package: src:matita > Version: 0.99.1-3 > Severity: serious > > Dear Maintainer,
This bugs is due to camlp5 and fixed in caca3dd0643ec5aae9df4399fa73eb280808ef18 see https://gforge.inria.fr/projects/camlp5/ Best, -- Enrico Tassi
