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 [cjwat...@debian.org] -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
