why3config --detect
Found prover Alt-Ergo version 0.95.2, Ok.
Found prover CVC3 version 2.4.1, Ok.
Found prover Coq version 8.4pl6, but Why3 was compiled with support for version 8.4pl3
2 provers detected and 0 provers detected with unsupported version
The plugin /usr/local/lib/why3/plugins/genequlin.cmxs dynlink failed :
Dynlink error : error loading shared library: /usr/local/lib/why3/plugins/genequlin.cmxs: undefined symbol: camlWhy3__Term__t_app_4850
The plugin /usr/local/lib/why3/plugins/hypothesis_selection.cmxs dynlink failed :
Dynlink error : error loading shared library: /usr/local/lib/why3/plugins/hypothesis_selection.cmxs: undefined symbol: camlWhy3__Term__t_app_4850
The plugin /usr/local/lib/why3/plugins/tptp.cmxs dynlink failed :
Dynlink error : error loading shared library: /usr/local/lib/why3/plugins/tptp.cmxs: undefined symbol: camlWhy3__Term__t_app_4850
The plugin /usr/local/lib/why3/plugins/dimacs.cmxs dynlink failed :
Dynlink error : error loading shared library: /usr/local/lib/why3/plugins/dimacs.cmxs: undefined symbol: camlWhy3__Term__t_app_4850
Save config to /home/gpietro/.why3.conf