From 7288e391e69361c1b1dd49687d3b3a3c6a6c6b4a Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Mon, 14 Sep 2020 13:40:14 +0200 Subject: [PATCH 1/3] Bump Z3 version in static Z3 PPA build to 4.8.9. --- scripts/deps-ppa/static_z3.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index c5f6d6ea4..eb3ce117b 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=libz3-static-dev -version=4.8.8 +version=4.8.9 DISTRIBUTIONS="bionic eoan focal" @@ -80,7 +80,9 @@ Vcs-Browser: https://github.com/Z3Prover/z3 Package: libz3-static-dev Section: libdevel -Architecture: any-i386 any-amd64 +Architecture: any-amd64 +Breaks: libz3-dev +Replaces: libz3-dev Multi-Arch: same Depends: \${shlibs:Depends}, \${misc:Depends} Description: theorem prover from Microsoft Research - development files (static library) From 1312d547c2b05ff10060e9043a2dd406bbfb8c0a Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Mon, 14 Sep 2020 13:51:14 +0200 Subject: [PATCH 2/3] 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 From 32a322e3f875d05354cc6cbf35d857a6963eac69 Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Mon, 14 Sep 2020 16:28:47 +0200 Subject: [PATCH 3/3] Add groovy to static 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 d949cf17c..459180924 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 focal" +DISTRIBUTIONS="bionic focal groovy" for distribution in $DISTRIBUTIONS do