我已经安装了 Coq，现在我正在尝试在 Mac 上安装 CoqIDE。我正在关注Coq wiki。第二步构建失败。当我跑
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
我很感激任何帮助。