当 coq 8.14(或 8.15)软件包说找不到时，如何安装带有 opam 引脚的软件包？

Question

我在ubuntu上。我正在尝试安装coq 8.14。我相信它一定存在。为什么不让我安装?命令和错误信息:

(iit_synthesis) brando9~/proverbot9001 $ opam switch create coq-8.14 4.07.1

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.07.1"} | "ocaml-system" {= "4.07.1"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
⬇ retrieved ocaml-base-compiler.4.07.1  (cached)
∗ installed ocaml-base-compiler.4.07.1
∗ installed ocaml-config.1
∗ installed ocaml.4.07.1
Done.
# Run eval $(opam env --switch=coq-8.14) to update the current shell environment
(iit_synthesis) brando9~/proverbot9001 $ eval $(opam env --switch=coq-8.14 --set-switch)

犯错:

(iit_synthesis) brando9~/proverbot9001 $ opam pin add -y coq 8.14
[ERROR] Package coq has no known version 8.14 in the repositories

---

相似的问题:

(iit_synthesis) brando9~/proverbot9001 $ opam switch create coq-8.15 4.07.1

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.07.1"} | "ocaml-system" {= "4.07.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
⬇ retrieved ocaml-base-compiler.4.07.1  (cached)
∗ installed ocaml-base-compiler.4.07.1
∗ installed ocaml-config.1
∗ installed ocaml.4.07.1
Done.
# Run eval $(opam env --switch=coq-8.15) to update the current shell environment
(iit_synthesis) brando9~/proverbot9001 $ eval $(opam env --switch=coq-8.15 --set-switch)
(iit_synthesis) brando9~/proverbot9001 $ opam pin add -y coq 8.15
[ERROR] Package coq has no known version 8.15 in the repositories

交叉:https://coq.discourse.group/t/how-to-install-the-coq-8-14-package-with-opam-pin-when-it-says-it-cant-find-it/1851

Answer 1

您要安装的版本是8.14.0，不是8.14。如果你添加。0，它会像你想要的那样工作

你可以在这里查看版本