Merge pull request #12981 from ethereum/update-static-z3

Update version & distributions for static z3 script

Author: Marenz

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