Update version & distributions for static z3 script

Marenz · Marenz · commit 1ccdb92cdb45 · 2022-05-05T15:27:18.000+02:00
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=builds@ethereum.org
 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
