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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information