update build.sh

matthewoestreich · matthewoestreich · commit 81e2a45ca864 · 2025-07-12T21:00:42.000-05:00
diff --git a/scripts/build.sh b/scripts/build.sh
@@ -13,7 +13,7 @@ set -euo pipefail
 # THE VERSION HERE AND RUN THIS SCRIPT.
 ###################################################################################################################
 ###################################################################################################################
-Z3_VERSION="4.15.1"
+Z3_VERSION="4.15.0"
 ###################################################################################################################
 
 ###################################################################################################################
