The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
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.