如何使用git安装coq控制肋骨？

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和Lubuntu14.04尝试了这一点，并得到了相同的错误。

我的问题是：

1. 如何修正上述错误？
2. https://gforge.inria.fr/git/coq-contribs/是下载用户贡献库的合适地方吗？我在Lubuntu14.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更新得更少。

或者，您可以从官方页面下载它：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.

Answer 2

要安装Coq贡献，现在可以使用OPAM包管理器。例如，参见Coq的OPAM软件包列表。