From b9c3b9425ae2a91d7d32ef2e6925090c726e5cc6 Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Mon, 16 Dec 2024 15:24:11 -0800 Subject: [PATCH] fix z3 4.13.3 URL for Windows --- get_fstar_z3.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/get_fstar_z3.sh b/get_fstar_z3.sh index 338c352f..acfd4b53 100755 --- a/get_fstar_z3.sh +++ b/get_fstar_z3.sh @@ -19,7 +19,7 @@ release_url["Linux-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/down release_url["Linux-aarch64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-glibc-2.34.zip" release_url["Darwin-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-x64-osx-13.7.zip" release_url["Darwin-aarch64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-osx-13.7.zip" -release_url["Windows-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-win.zip" +release_url["Windows-x86_64-4.13.3"]="https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-x64-win.zip" trap "exit 1" HUP INT PIPE QUIT TERM cleanup() {