Update version & distributions for static z3 script

solidity-docs · May 5, 2022 · 1ccdb92 · 1ccdb92
1 parent 2c49ae7
commit 1ccdb92
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh
@@ -25,9 +25,9 @@ set -ev
 keyid=70D110489D66E2F6
 [email protected]
 packagename=z3-static
-version=4.8.14
+version=4.8.16
 
-DISTRIBUTIONS="focal hirsute impish jammy"
+DISTRIBUTIONS="focal impish jammy"
 
 for distribution in $DISTRIBUTIONS
 do