cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #9795 from ethereum/staticZ3PPAUpdate

Browse Source 
Bump Z3 version in static Z3 PPA build to 4.8.9.
This commit is contained in:
Daniel Kirchner 2020-09-15 02:02:39 +02:00 committed by GitHub
commit 3399570de2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
scripts/deps-ppa/static_z3.sh
View File

@ -25,9 +25,9 @@ set -ev
keyid=70D110489D66E2F6 keyid=70D110489D66E2F6
email=builds@ethereum.org email=builds@ethereum.org
packagename=libz3-static-dev packagename=libz3-static-dev
version=4.8.8 version=4.8.9
DISTRIBUTIONS="bionic eoan focal" DISTRIBUTIONS="bionic focal groovy"
for distribution in $DISTRIBUTIONS for distribution in $DISTRIBUTIONS
do do
@ -80,7 +80,9 @@ Vcs-Browser: https://github.com/Z3Prover/z3
Package: libz3-static-dev Package: libz3-static-dev
Section: libdevel Section: libdevel
Architecture: any-i386 any-amd64 Architecture: any-amd64
Breaks: libz3-dev
Replaces: libz3-dev
Multi-Arch: same Multi-Arch: same
Depends: \${shlibs:Depends}, \${misc:Depends} Depends: \${shlibs:Depends}, \${misc:Depends}
Description: theorem prover from Microsoft Research - development files (static library) Description: theorem prover from Microsoft Research - development files (static library)