change boogie version

pontem-network · Jan 3, 2024 · 09cbcf3 · 09cbcf3
1 parent 190e6e5
commit 09cbcf3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/aptos_download.sh b/aptos_download.sh
@@ -180,7 +180,7 @@ aptos info
 Z3_VERSION=4.11.0
 CVC5_VERSION=0.0.3
 DOTNET_VERSION=6.0
-BOOGIE_VERSION=2.15.8
+BOOGIE_VERSION=3.0.1
 
 function update_path {
   DOTNET_ROOT="$HOME/.dotnet"