如何使用 git 安装 coq contribs？

Question

我正在尝试安装 coq 用户贡献库之一 (MathClasses)。经过一些谷歌搜索后，我在 Coq 网站 https://gforge.inria.fr/git/coq-contribs/.

上找到了一个似乎是中央 git 存储库的东西

在 README 文件之后，我试图通过以下方式获取源代码：

git clone git+ssh://scm.gforge.inria.fr/git/coq-contribs/coq-contribs.git

但是我得到一个错误：

Cloning into 'coq-contribs'...
ssh: connect to host gforge.inria.fr port 22: Connection refused
fatal: Could not read from remote repository.

我在 MinGW 和 Lubuntu 14.04 上都试过了，但得到了同样的错误。

我的问题是：

如何解决上述错误？
https://gforge.inria.fr/git/coq-contribs/ 是下载用户提供的库的正确位置吗？我在 Lubuntu 14.04 上尝试了 opam，但它似乎只有 linux，并且库存版本 (1.1.1) 低于 Coq 网站上建议的推荐版本 (1.2+)。

Answer 1

URL git+ssh://... 可能适用于需要能够签入代码的开发人员。您可以改用 git clone https://gforge.inria.fr/git/coq-contribs/math-classes.git，但它最近的更新不如 github 存储库。

为了编译，我做了

git clone https://github.com/math-classes/math-classes.git
cd math-classes
./configure.sh
make -j
make install

正在测试它是否有效：

cd ..
coqtop
Require Import abstract_algebra.

Answer 2

要安装 Coq contributions，您现在可以使用 OPAM 包管理器。例如参见 [=10=].

how to install coq contribs using git?