diff --git a/.github/scripts/linux-setup.sh b/.github/scripts/linux-setup.sh
index b0484b88..dbe729eb 100755
--- a/.github/scripts/linux-setup.sh
+++ b/.github/scripts/linux-setup.sh
@@ -42,7 +42,9 @@ main() {
   mkdir -p "$DEPS_DIR/tools"
   wget -nv http://nightly.tlapl.us/dist/tla2tools.jar -P "$DEPS_DIR/tools"
   # Get Apalache
-  wget -nv https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -O /tmp/apalache.tgz
+  APALACHE_LATEST="https://github.com/apalache-mc/apalache/releases/latest/download/apalache.tgz"
+  APALACHE_FALLBACK="https://github.com/apalache-mc/apalache/releases/download/v0.52.2/apalache.tgz"
+  wget -nv "$APALACHE_LATEST" -O /tmp/apalache.tgz || wget -nv "$APALACHE_FALLBACK" -O /tmp/apalache.tgz
   tar -xzf /tmp/apalache.tgz --directory "$DEPS_DIR"
   # Get TLA⁺ community modules
   mkdir -p "$DEPS_DIR/community"
diff --git a/.github/scripts/windows-setup.sh b/.github/scripts/windows-setup.sh
index 9f0e5f18..767c2b7b 100755
--- a/.github/scripts/windows-setup.sh
+++ b/.github/scripts/windows-setup.sh
@@ -38,7 +38,9 @@ main() {
   mkdir -p "$DEPS_DIR/tools"
   curl http://nightly.tlapl.us/dist/tla2tools.jar --output "$DEPS_DIR/tools/tla2tools.jar"
   # Get Apalache
-  curl -L https://github.com/informalsystems/apalache/releases/latest/download/apalache.zip --output apalache.zip
+  APALACHE_LATEST="https://github.com/apalache-mc/apalache/releases/latest/download/apalache.zip"
+  APALACHE_FALLBACK="https://github.com/apalache-mc/apalache/releases/download/v0.52.2/apalache.zip"
+  curl -L --fail "$APALACHE_LATEST" --output apalache.zip || curl -L --fail "$APALACHE_FALLBACK" --output apalache.zip
   7z x apalache.zip
   mv apalache "$DEPS_DIR/"
   rm apalache.zip