Установка CoqIDE - Ошибка обновления jhbuild

У меня уже установлен Coq, сейчас я пытаюсь установить CoqIDE на Mac. Я следую за Coq вики. Сборка не удалась на втором этапе. Когда я бегу

sh gtk-osx-build-setup.sh

Это ошибка, которую я получаю:

Checking out jhbuild (<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://gitlab.gnome.org/GNOME/gtk-osx/raw/master//jhbuild-revision">here</a>.</p>
<hr>
<address>Apache/2.2.15 (Red Hat) Server at git.gnome.org Port 443</address>
</body></html>) from git...
Already on 'master'
Your branch is up-to-date with 'origin/master'.
error: branch 'stable' not found.
Already up-to-date.
fatal: Cannot update paths and switch to branch 'stable' at the same time.
Update of jhbuild failed

Я ценю любую помощь.

Источник

1 ответ

Вы можете найти двоичные распределения на GitHub Coq.

На момент написания статьи coq-8.8.0-installer-macos.dmg, похоже, работал.

Источник
Другие вопросы по тегам