Source: frama-c Version: 20220511-manganese-4 Severity: serious Tags: ftbfs
https://buildd.debian.org/status/fetch.php?pkg=frama-c&arch=amd64&ver=20220511-manganese-4%2Bb5&stamp=1694181938&raw=0 ... File "src/plugins/wp/ProverWhy3.ml", line 1129, characters 12-36: 1129 | let drv = Why3.Whyconf.load_driver (Why3.Whyconf.get_main config) ^^^^^^^^^^^^^^^^^^^^^^^^ Error: Unbound value Why3.Whyconf.load_driver make[1]: *** [share/Makefile.generic:77: src/plugins/wp/ProverWhy3.cmo] Error 2