使用OPAM为Coq安装软件包

我正在尝试安装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-

读完本期之后，我尝试升级到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

$opam安装coq图形基础
无法满足以下依赖项：
-coq图基础→ coq<8.6~
不可用，因为包已固定到版本8.7.2
未找到解决方案，正在退出

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

---

谢谢

您的错误意味着opam知道一个包

coq graph basics

，但它与coq的最新版本（>=8.6）不兼容，并且您的版本是最新的（8.7.2）

一个解决方案可能是降低Coq。在这里，不建议这样做，因为您的Coq包“固定”到了版本8.7.2，这意味着您告诉opam不要更改其版本。如果您使用

opam取消固定coq

取消固定，则建议您降低coq。但这不是我们要走的路

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

命令：

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

添加包含大多数Coq软件包最新版本的存储库，尤其是最新版本的

Coq图形基础

---

编辑：Coq包使用三个存储库分发（其中一个是“Coq已发布”）。将显示存储库。

您的错误意味着opam知道一个包

coq graph basics

，但它与coq的最新版本（>=8.6）不兼容，并且您的版本是最新的（8.7.2）

一个解决方案可能是降低Coq。在这里，不建议这样做，因为您的Coq包“固定”到了版本8.7.2，这意味着您告诉opam不要更改其版本。如果您使用

opam取消固定coq

取消固定，则建议您降低coq。但这不是我们要走的路

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

命令：

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

添加包含大多数Coq软件包最新版本的存储库，尤其是最新版本的

Coq图形基础

---

编辑：Coq包使用三个存储库分发（其中一个是“Coq已发布”）。将显示存储库。

您可能需要

opam repo add coq releasedhttps://coq.inria.fr/opam/released

（我不记得是否有必要，但是

opam更新

不会有什么坏处）。我认为升级到opam 2.0.0还为时过早。这意味着opam知道一个包

coq图形基础

，但是它与Coq的最新版本（>=8.6）不兼容，并且您的版本是最新的（8.7.2）。一个解决方案可能是降低Coq的等级，但这里您需要一个与Coq最新版本兼容的更新版本的包。请参阅@AntonTrunov的评论，向opam介绍一个包含最新版本Coq软件包的存储库。您可能需要

opam repo add Coq releasedhttps://coq.inria.fr/opam/released

（我不记得是否有必要，但

opam更新不会有什么坏处）。我认为升级到opam 2.0.0还为时过早。这意味着opam知道一个包
coq graph basics
，但它与coq的最新版本（>=8.6）不兼容，并且您的版本是最新的（8.7.2）。一个解决方案可能是降低Coq的等级，但这里您需要一个与Coq最新版本兼容的更新版本的包。请参阅@AntonTrunov的评论，以向opam介绍一个拥有最新版本Coq软件包的存储库。嗯，这通常是正确的过程，但在这种情况下，似乎不存在兼容8.7.2版本的
Coq graph basics
。嗯，这通常是正确的过程，但在这种情况下，似乎不存在兼容8.7.2版本的
coq图形基础
。