git - 如何使用 git 安装 coq contribs？

Question

我正在尝试安装 coq 用户贡献库之一 (MathClasses)。经过一些谷歌搜索后，我在 Coq 网站上找到了一个似乎是中央 git 存储库的东西，https://gforge.inria.fr/git/coq-contribs/ .

在 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 上都试过了，但得到了同样的错误。

我的问题是:

1. 如何解决上述错误？

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

Answer 1

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

或者，您可以从官方页面下载: http://www.lix.polytechnique.fr/coq/pylons/contribs/files/MathClasses/v8.4/MathClasses.interfaces.abstract_algebra.html

为了编译，我做了

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.