Установка пакетов для Coq с использованием OPAM

Question

Я пытаюсь установить пакет OPAM для coq-contrib. Я все еще новичок в OPAM и Coq. Я использовал OPAM 1.2.2 и получил это:

$ opam install coq-graph-basics
Your request can't be satisfied:
- No package matches coq-graph-basics

No solution found, exiting

хотя я мог видеть это при запуске

opam search coq-

После прочтения этой проблемы https://github.com/ocaml/opam/issues/2526 я попытался выполнить обновление до OPAM 2.0.0.

Вот что я получил на этот раз, когда пытался установить пакет:

$ opam install coq-graph-basics
The following dependencies couldn't be met:
- coq-graph-basics → coq < 8.6~
not available because the package is pinned to version 8.7.2

No solution found, exiting

Я не уверен, что я делаю здесь не так. Кто-нибудь знает, что означают эти сообщения? Что мне не хватает?

Спасибо

Answer 1

Ваша ошибка означает, что opam знает пакет coq-graph-basics, но он не совместим с последними версиями Coq (>= 8.6), а ваша версия является последней (8.7.2).

Одним из решений может быть снижение рейтинга Coq. Здесь это не предлагается, потому что ваш пакет Coq "прикреплен" к версии 8.7.2, что означает, что вы сказали opam не менять его версию. Если вы открепите его, с opam unpin coqВам будет предложено понизить рейтинг Coq. Но это не путь сюда.

В вашем случае вам нужна более новая версия пакета, совместимая с последними версиями Coq. Как отмечает @AntonTrunov в своем комментарии, вы можете указать opam смотреть на другие репозитории, отличные от стандартных.

Команды:

opam repo add coq-released https://coq.inria.fr/opam/released
opam update

добавить репозиторий с последними версиями большинства пакетов Coq и, в частности, с последней версией coq-graph-basics,

РЕДАКТИРОВАТЬ: пакеты Coq распространяются с использованием трех репозиториев (один из них "coq-release"). Репозитории представлены здесь.