Question

我正在尝试安装coq-contrib包OPAM。我还是OPAM和Coq的新手。我正在使用OPAM 1.2.2并得到了这个：

$ opam install coq-graph-basics
Your request can't be satisfied:
- No package matches coq-graph-basics

No solution found, exiting

即使我在跑步时能看到它

opam search coq-

在阅读此问题https://github.com/ocaml/opam/issues/2526后，我尝试升级到OPAM 2.0.0。

这是我在尝试安装软件包时得到的内容：

$ opam install coq-graph-basics
The following dependencies couldn't be met:
- coq-graph-basics → coq < 8.6~
not available because the package is pinned to version 8.7.2

No solution found, exiting

我不确定我在这里做错了什么。有谁知道这些消息是什么意思？我错过了什么？

由于

Answer 1

您的错误意味着opam知道包coq-graph-basics，但它与最新版本的Coq（＆gt; = 8.6）不兼容，而您的版本是最新版本（8.7.2）。

一种解决方案可能是降低Coq的评级。这里没有提出，因为你的Coq包被“固定”到版本8.7.2，这意味着你告诉opam不要改变它的版本。如果您使用opam unpin coq取消固定，则建议您降级Coq。但这不是去这里的方式。

在您的情况下，您需要更新版本的软件包与最新版本的Coq兼容。正如@AntonTrunov在评论中指出的那样，你可以告诉opam查看其他存储库而不是默认存储库。

命令：

opam repo add coq-released https://coq.inria.fr/opam/released
opam update

添加一个存储库，其中包含大多数Coq包的最新版本，特别是最新版本的coq-graph-basics。

编辑：使用三个存储库（其中一个是“coq-released”）分发Coq包。存储库显示为here。

使用OPAM为Coq安装软件包

1 个答案: