我正在使用Linux Slackware 14.2，opam版本1.2.2，ocaml 4.03.0，并想安装why3 module。据我在互联网上看到的，why3软件包的最新版本是1.2.0。
但是即使我跑了
opam update
它仍然建议我安装why3 1.0.0。
我应该怎么做才能更新软件包列表？
如何以root身份安装why3模块系统？它足够安全吗？
答案 0 :(得分：1)
您的opam和ocaml安装都已严重过时。 OCaml的最新版本是4.07.1，而opam的最新版本是2.0.4。不幸的是，Linux发行版存储库通常不是最新的，据我了解，为opam v2发布的软件包与opam v1.x不向后兼容。
按照the installation guide尝试安装最新的Opam。然后，使用opam，安装较新版本的OCaml，您应该可以获得最新版本的why3。
建议使用opam来管理OCaml安装和相关软件包，而不是在全局范围内进行安装，因为随着时间的推移，这可能会导致混乱的依赖性破坏。