Bug#612891: FTBFS with camlp5 6.02.1

2011-05-21 Thread Colin Watson
On Fri, Feb 11, 2011 at 12:26:20PM +0100, Stéphane Glondu wrote: > Matita currently fails to build from source with camlp5 6.02.1 [1]. It > seems to be the only blocker to a transition to camlp5 > 6.02.1. Upstream is currently working on a new release but cannot give > a timeframe on when it will b

Bug#612891: FTBFS with camlp5 6.02.1

2011-02-11 Thread Stéphane Glondu
Package: matita Version: 0.5.8-2+b1 Severity: serious Tags: upstream Hello, Matita currently fails to build from source with camlp5 6.02.1 [1]. It seems to be the only blocker to a transition to camlp5 6.02.1. Upstream is currently working on a new release but cannot give a timeframe on when it w