我已尝试使用以下说明安装coq https://coq.inria.fr/opam/www/using.html （修改为我已被告知要更新版本号）
以下是发生的事情：
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是1.2.2
似乎我自己做了上面的说明 https://coq.inria.fr/opam/www/using.html有变化，所以我尝试了新版本，这就是发生的事情
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说明的问题吗？
关于我如何从这里开始的任何提示？