coq 8.11.0是否与ocaml 4.10不兼容？

我正在使用opam安装coq，并收到错误消息

`No solution for coq: The following dependencies couldn't be met:
          - coq → ocaml < 4.10
              base of this switch (use '--unlock-base' to force)

并且可以成功安装Coq，但我更愿意使用ocaml的更新版本。这是Coq和oCaml之间的实际不兼容，还是我做错了什么

为了增加上下文，我现在使用opam2.0.6、ocaml版本4.05.0和Coq版本8.11.0。我的操作系统是macOS。在此之前，唯一的区别是我尝试使用OCAML4.10.0

---

谢谢大家!

您需要v8.11分支的尖端，或者等待8.11.1版本，该版本很快就会发布

---

您不需要返回到4.05.0 tho，4.09将正常工作，tho 4.07.1+flambda是我推荐的，请参见

看起来Ocaml 4.10做了一些突破性的更改。看见

opam switch create with-coq 4.05.0