From 1ccdb92cdb45ae4324df352be3dc3b536851747e Mon Sep 17 00:00:00 2001 From: Marenz Date: Mon, 2 May 2022 14:23:52 +0200 Subject: [PATCH] Update version & distributions for static z3 script --- scripts/deps-ppa/static_z3.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index 353a8a8d9..79393221c 100755 --- 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