diff --git a/NSym/scripts/install.sh b/NSym/scripts/install.sh
index 787e0dba..421265ba 100755
--- a/NSym/scripts/install.sh
+++ b/NSym/scripts/install.sh
@@ -5,7 +5,7 @@
 
 set -ex
 
-SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz'
+SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz'
 C2A_URL='https://cryptol-air-interface.s3.us-west-2.amazonaws.com/cryptol-air-interface-2023-11-20-fd3447e-Linux-x86_64.tar.gz'
 ELF_URL='https://ocaml-elf-loader.s3.us-west-2.amazonaws.com/elf_loader-2023-11-09-c95cf1c-Linux_x86_64.tar.gz'
 OSI_URL='https://ocaml-smt-interface.s3.us-west-2.amazonaws.com/ocaml_smt_interface-2023-11-07-9654c87-Linux_x86_64.tar.gz'
diff --git a/SAW/scripts/aarch64/install.sh b/SAW/scripts/aarch64/install.sh
index 36cf74ba..edc46604 100755
--- a/SAW/scripts/aarch64/install.sh
+++ b/SAW/scripts/aarch64/install.sh
@@ -5,7 +5,7 @@
 
 set -ex
 
-SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz'
+SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz'
 
 mkdir -p /bin /deps
 
diff --git a/SAW/scripts/x86_64/install.sh b/SAW/scripts/x86_64/install.sh
index 36cf74ba..edc46604 100755
--- a/SAW/scripts/x86_64/install.sh
+++ b/SAW/scripts/x86_64/install.sh
@@ -5,7 +5,7 @@
 
 set -ex
 
-SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz'
+SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz'
 
 mkdir -p /bin /deps