问题描述
我使用的是 Linux Slackware 14.2、opam 版本 1.2.2、ocaml 4.03.0 并想安装 why3 模块.据我在网上看到的why3包的最新版本是1.2.0.
I am using Linux Slackware 14.2, opam version 1.2.2, ocaml 4.03.0 and wanted to install why3 module. As far as I can see in the Internet, the last version of why3 package is 1.2.0.
但即使我跑了
opam update
它仍然建议我安装why3 1.0.0.
It still suggests my to install why3 1.0.0.
我应该怎么做才能更新包列表?
What should I do to update the packages list?
我如何以 root 身份安装why3 模块系统?是否足够安全?
How can I install why3 module system wide as root? Is it safe enough?
推荐答案
您的 opam 和 ocaml 安装都严重过时.OCaml最新版本是4.07.1，opam最新版本是2.0.4.不幸的是，Linux 发行版存储库通常不是最新的，据我了解，为 opam v2 发布的软件包与 opam v1.x 不向后兼容.
Your opam and ocaml installations are both seriously out of date. The latest version of OCaml is 4.07.1, and the latest version of opam is 2.0.4. Linux distro repositories are unfortunately often not very up to date, and as I understand it, packages published for opam v2 aren't backwards-compatible with opam v1.x.
按照安装指南尝试安装最新的 opam.然后，使用 opam，安装更新版本的 OCaml，您应该能够获得最新版本的why3.
Try installing the latest opam by following the installation guide. Then, using opam, install a more recent version of OCaml and you should be able to get the latest version of why3.
建议使用 opam 管理您的 OCaml 安装和关联的包，而不是全局安装它们，因为随着时间的推移，这可能会导致不规则的依赖项损坏.
It's recommended to manage your OCaml installations and associated packages with opam instead of installing them globally, since that can potentially cause an unruly mess of broken dependencies over time.
这篇关于无法从 opam 获得最新的why3 版本的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！