Re: Bug#707585: why: FTBFS in unstable

[Mehdi Dogguy <mehdi@dogguy.org>]

Le 2013-05-09 16:54, Colin Watson a écrit :
> Package: why
> Version: 2.30+dfsg-5
> Severity: serious
>
> why fails to build in unstable as follows:
>
> coqc -R lib/coq Why lib/coq/WhyInt.v
> coqc -R lib/coq Why lib/coq/WhyArrays.v
> coqc -R lib/coq Why lib/coq/WhyBool.v
> coqc -R lib/coq Why lib/coq/WhyTuples.v
> File "/«BUILDDIR»/why-2.30+dfsg/lib/coq/WhyTuples.v", line 24, 
> characters 28-32:
> Error: Cannot infer the implicit parameter A of pair.
> make[1]: *** [lib/coq/WhyTuples.vo] Error 1

Thanks for the bugreport. There is an ongoing Coq transition… which 
affects
this package. This issue will be resolved as soon as the transition is 
sorted
out.

Regards,

--
Mehdi