Bug#707585: why: FTBFS in unstable

2014-01-12 Thread peter green
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

Bug#707585: why: FTBFS in unstable

2013-05-09 Thread Colin Watson
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