Bug#340185: coq: FTBFS: implementation doesn't match interface: parsing/pcoq*

[Samuel Mimram]

Hi,

Roland Stigge wrote:
Package: coq
Version: 8.0pl2-3
Severity: serious
Hi,

building the package coq in a clean sid build environment
(with pbuilder) on i386 results in:

[...]


This issue was already raised on the coq-club mailing-list and a patch 
was given. I'll integrate it soon.

Cheers,

Samuel.


--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]