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

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. Che

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

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: = [...] OCAMLCinterp/coqlib.mli OCAMLCinterp/coqlib.ml OCAMLClibr