Bug#707585: why: FTBFS in unstable

[Colin Watson <cjwatson@debian.org>]

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,

-- 
Colin Watson                                       [cjwatson@debian.org]