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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
