Ubuntu下使用opam pin安装Coq 8.14/8.15提示找不到版本的解决方法

问题复现 #

在Ubuntu系统中，创建基于OCaml 4.07.1的Opam switch后，尝试通过opam pin安装Coq 8.14或8.15版本时，收到错误提示：

[ERROR] Package coq has no known version 8.14 in the repositories

执行的关键命令如下：

# 创建switch
opam switch create coq-8.14 4.07.1
eval $(opam env --switch=coq-8.14 --set-switch)

# 尝试安装Coq 8.14
opam pin add -y coq 8.14

安装Coq 8.15时出现完全相同的错误。

原因分析 #

默认的Opam仓库可能未包含Coq 8.14/8.15的包定义，或者仓库索引未同步到包含这些历史版本的状态。

解决步骤 #

1. 添加Coq官方Opam仓库
   Coq官方维护的仓库包含所有历史版本的Coq包，执行以下命令添加并更新索引：

   opam repo add coq-released https://coq.inria.fr/opam/released
   opam update
   

2. 重新安装指定版本的Coq
   再次执行pin命令安装目标版本：

   # 安装Coq 8.14
   opam pin add -y coq 8.14
   
   # 或安装Coq 8.15
   opam pin add -y coq 8.15
   

3. 验证安装结果
   安装完成后，通过以下命令确认Coq版本：

   coqtop -v
   

内容的提问来源于stack exchange，提问作者Charlie Parker