[coq-stdpp.dev] no changes from git+https://gitlab.mpi-sws.org/iris/stdpp.git#master[coq-iris.dev] no changes from git+https://gitlab.mpi-sws.org/iris/iris.git#master[coq.8.10.dev] synchronised from git+https://github.com/coq/coq.git#v8.10

The following dependencies couldn't be met: - coq -> ocaml >= 4.05.0 base of this switch (use `--unlock-base' to force)