From 5597d43635df0c1df09be6c13d326f7ef6cf9d3a Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Mon, 3 Jan 2022 14:03:40 +0100 Subject: [PATCH] Add impish to static Z3 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 e8dec0fae..733f9bf3d 100755 --- a/scripts/deps-ppa/static_z3.sh +++ b/scripts/deps-ppa/static_z3.sh @@ -27,7 +27,7 @@ email=builds@ethereum.org packagename=z3-static version=4.8.13 -DISTRIBUTIONS="focal groovy hirsute" +DISTRIBUTIONS="focal groovy hirsute impish" for distribution in $DISTRIBUTIONS do