Bug#707585: why: FTBFS in unstable

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 m

Bug#707585: why: FTBFS in unstable

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/WhyTupl