From 33a0f9c02a204e941f0c8bb57f5d5df13efa6890 Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Fri, 13 May 2022 10:20:15 +0200 Subject: [PATCH] Update Z3 deps ppa script. --- scripts/deps-ppa/static_z3.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index 79393221c..6fd353ad8 100755 --- a/scripts/deps-ppa/static_z3.sh +++ b/scripts/deps-ppa/static_z3.sh @@ -25,7 +25,7 @@ set -ev keyid=70D110489D66E2F6 email=builds@ethereum.org packagename=z3-static -version=4.8.16 +version=4.8.17 DISTRIBUTIONS="focal impish jammy"