Не могу получить новейшую версию Why3 от Opam - PullRequest
Новая
       22

Не могу получить новейшую версию Why3 от Opam

0 голосов
/ 27 мая 2019

Я использую Linux Slackware 14.2, операционную систему версии 1.2.2, ocaml 4.03.0 и хотел установить модуль why3 .Насколько я вижу в Интернете, последняя версия пакета why3 - это 1.2.0.

Но даже после того, как я запустил 

opam update

, он все равно предлагает мне установить Why3 1.0.0.

  1. Что мне нужно сделать, чтобы обновить список пакетов?

  2. Как я могу установить модуль Why3 в масштабе всей системы как root?Это достаточно безопасно?

1 Ответ

1 голос
/ 27 мая 2019

Ваши установки opam и ocaml серьезно устарели.Последняя версия OCaml - 4.07.1, а последняя версия opam - 2.0.4.К сожалению, дистрибутивы Linux часто не очень актуальны, и, насколько я понимаю, пакеты, опубликованные для opam v2, несовместимы с opam v1.x.

Попробуйте установить последнюю версию opam, выполнив руководство по установке .Затем, используя opam, установите более новую версию OCaml, и вы сможете получить последнюю версию why3.

Рекомендуется управлять вашими установками OCaml и связанными пакетами с помощью opam, а не устанавливать их глобально, посколькуэто может потенциально привести к беспорядочной путанице нарушенных зависимостей с течением времени.

...