diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index eb3ce117b..d949cf17c 100755 --- a/scripts/deps-ppa/static_z3.sh +++ b/scripts/deps-ppa/static_z3.sh @@ -27,7 +27,7 @@ email=builds@ethereum.org packagename=libz3-static-dev version=4.8.9 -DISTRIBUTIONS="bionic eoan focal" +DISTRIBUTIONS="bionic focal" for distribution in $DISTRIBUTIONS do