Я недавно установил OPAM в соответствии с инструкциями, чтобы попробовать, он выглядит хорошо, и я хотел бы его использовать. Однако он не может обнаружить ранее установленные пакеты OCAML, которые я установил вручную, прежде чем я решу попробовать...

Я читал руководство coq HelloWorld (код ниже) и не смог заставить программу скомпилировать. Я выполнил шаги установки и установил opam install coq:io:system . Моя операционная система установлена ​​по умолчанию ~/.opam . Но все же у меня...

После установки npm и node компиляция файлов OCaml с js_of_ocaml дала ошибки, поэтому я сделал opam switch reinstall system : :testweb $ opam switch reinstall system Your system compiler has been changed. Do you want to upgrade your OPAM...

Я новичок в Ocaml, и я пытаюсь запустить следующую команду в Mac OS: opam init , и она выдает следующую ошибку. Может кто-нибудь объяснить, как убрать эту ошибку: =-=- Fetching repository information =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=...

Я устанавливаю Ubuntu 18.04 Я делал это раньше, и никогда не сталкивался с этой проблемой, установка OPAM всегда проходила гладко, за исключением этого раза. Я запускаю код для установки OPAM. sudo apt install opam Установка не выдает...

ОБНОВЛЕНИЕ: Я исправил проблему, но я все еще в замешательстве. Или, скорее, проблемы не было... очевидно, тот факт, что команда opam--version все еще работала, не помешал мне повторно запустить все команды установки и заставить все снова...