如何安装coq-可能的opam问题

我已尝试使用以下说明安装coq： （根据我被告知更新版本号进行了修改）

发生的情况如下：

jeremy@cecs-042179:/mnt/local/coq$ export OPAMROOT=~/opam-coq.8.6 # insta directory
jeremy@cecs-042179:/mnt/local/coq$ opam init -n --comp=4.02.3 -j 2 # 2 is the number of CPU cores
OPAM has already been initialized.# opam-version    1.2.2
# os              linux
File /home/users/jeremy/opam-coq.8.6/compilers/4.01.0/4.01.0/4.01.0.comp does not existjeremy@cecs-042179:/mnt/local/coq$ 
jeremy@cecs-042179:/mnt/local/coq$ opam repo add coq-released http://coq.inria.fr/opam/released
# opam-version    1.2.2
# os              linux
File /home/users/jeremy/opam-coq.8.6/compilers/4.01.0/4.01.0/4.01.0.comp does not exist
jeremy@cecs-042179:/mnt/local/coq$ opam install coq.8.6 && opam pin add coq 8.6
[ERROR] No package named coq found.

有谁能帮我了解这一切的意义，以及我如何安装coq

以上是Linux上的Ubuntu 16.04.3 LTS，

opam--version

is

1.2.2

看来既然我做了上面的说明 有变化，所以我尝试了新版本，下面是发生的情况

jeremy@cecs-042179:/mnt/local/coq$  export OPAMROOT=~/opam-coq.8.7 # installation directory
jeremy@cecs-042179:/mnt/local/coq$ opam init -n --comp=4.02.3 -j 2 # 2 is the number of CPU cores
Checking for available remotes: rsync and local, git, mercurial, darcs. Perfect!

=-=- Fetching repository information =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Processing: [default: http]

在这一点上，它挂起了

这是opam或coq指令的问题吗

---

有什么关于我如何从这里开始的提示吗？

opam更新总是很慢。你确定它永远挂着吗？嗯，我想是的，我肯定我等了几个小时而不是几分钟。你到底能做到吗？