Update version & distributions for static z3 script

This commit is contained in:
Marenz 2022-05-02 14:23:52 +02:00
parent 2c49ae7a9d
commit 1ccdb92cdb

View File

@ -25,9 +25,9 @@ set -ev
keyid=70D110489D66E2F6 keyid=70D110489D66E2F6
email=builds@ethereum.org email=builds@ethereum.org
packagename=z3-static packagename=z3-static
version=4.8.14 version=4.8.16
DISTRIBUTIONS="focal hirsute impish jammy" DISTRIBUTIONS="focal impish jammy"
for distribution in $DISTRIBUTIONS for distribution in $DISTRIBUTIONS
do do