Документы говорят: Пакет также может иметь дополнительные зависимости. Это зависимости, которые...

Я только что обновился до opam 2, на очень старом MacBook, который я не могу обновить (под...

Я хочу использовать Z3 в моей программе OCaml.Используя опам, я сделал $ opam install z3 $ eval...

Я успешно установил coq 8.9.1 и coq-quickchick 1.1.0 с opam 2.0.4 , и я программирую на emacs 26.1

Я использую Linux Slackware 14.2, операционную систему версии 1.2.2, ocaml 4.03.0 и хотел...

Я пытаюсь установить Owl на машине, работающей на Manjaro (я ранее устанавливал ее на машине,...

Когда я установил QuickChick из opam, я получил: Не удалось встретить следующие зависимости:...