From 1312d547c2b05ff10060e9043a2dd406bbfb8c0a Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Mon, 14 Sep 2020 13:51:14 +0200 Subject: [PATCH] Remove obsolete eoan from 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 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