gpt4 book ai didi

ocaml - coq 8.11.0 与 ocaml 4.10 不兼容?

转载 作者:行者123 更新时间:2023-12-02 19:36:14 25 4
gpt4 key购买 nike

我正在使用 opam 安装 coq as per these instructions并收到错误消息

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

我继续使用以下命令切换到 ocaml 4.05.0

opam switch create with-coq 4.05.0

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

为了添加上下文,我现在使用 opam 2.0.6、ocaml 版本 4.05.0 和 Coq 版本 8.11.0。我的操作系统是 macOS。之前,唯一的区别是我尝试使用 ocaml 4.10.0。

谢谢!

最佳答案

您需要 v8.11 分支的提示,或者等待 8.11.1,它应该很快就会发布。

您不需要返回到 4.05.0,4.09 也可以正常工作,尽管 4.07.1+flambda 是我推荐的版本,请参阅 https://coq.discourse.group/t/install-notes-on-coq-and-ocaml-versions-configuration/713

关于ocaml - coq 8.11.0 与 ocaml 4.10 不兼容?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61023002/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com