why3 is not compatible with OCaml 4.07
Just reporting here a PR from opam-repository: https://github.com/ocaml/opam-repository/pull/11775
The issue comes from the fact that one of the modules in why3 has been named Stdlib
which clashes with the new Stdlib
module packing the standard library since 4.07.
If you want to test things using 4.07, 4.07.0+beta2
is available through opam.