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