У меня уже установлен Coq, теперь я пытаюсь установить CoqIDE на Mac. Я слежу за вики Coq. Сборка завершается ошибкой на втором этапе. Когда я бегу
ш gtk-osx-сборка-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
Я ценю любую помощь.
