Я устанавливаю coq с opam в соответствии с этими инструкциями и получаю сообщение об ошибке
`No solution for coq: The following dependencies couldn't be met:
- coq → ocaml < 4.10
base of this switch (use '--unlock-base' to force)
Я перешел на ocaml 4.05.0 с помощью следующей команды
opam switch create with-coq 4.05.0
и может успешно установить Coq, но я бы предпочел использовать обновленную версию ocaml. Является ли это фактической несовместимостью между Coq и oCaml, или я делаю что-то не так?
Для дополнительного контекста я сейчас использую opam 2.0.6, ocaml версии 4.05.0 и Coq версии 8.11.0. Моя операционная система MacOS. До этого единственным отличием было то, что я пытался использовать ocaml 4.10.0.
Спасибо!