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.