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

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

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.