I just retested this and why still FTBFS but the error has changed
Ocamlopt src/vcg.ml
File src/vcg.ml, line 619, characters 10-22:
Warning 26: unused variable filter_up_to.
File src/vcg.ml, line 1:
Error: Some fatal warnings were triggered (1 occurrences)
make[1]: *** [src/vcg.cmx] Error 2
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
2 matches
Mail list logo