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 [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
