无法从opam获得最新的why3版本

Question

我正在使用Linux 14.2，OpamVersion1.2.2，ocaml 4.03.0，并希望安装why3模块。据我在互联网上看到的，why3包的最后一个版本是1.2.0。

但即使在我跑完之后

opam update

它仍然建议我安装why3 1.0.0。

1. 我该怎么做才能更新包裹列表？
2. 如何将why3模块系统作为根安装？够安全吗？

Answer 1

你的opam和ocaml装置都严重过时了。最新版本的OCaml为4.07.1，最新版本为2.0.4。遗憾的是，Linux发行版存储库往往并不是最新版本，据我所知，为opam v2发布的软件包并不是向后兼容的，与Opamv1.x兼容。

尝试通过以下安装指南安装最新的opam。然后，使用opam安装一个最新版本的OCaml，您应该能够获得why3的最新版本。

建议使用opam管理您的OCaml安装和相关包，而不是全局安装它们，因为这可能会导致一段时间以来不受约束的依赖关系混乱。