cerc-io/solidity
16
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 #10843 from ethereum/updatez3ppa

Browse Source 
Update z3 to 4.8.10.
This commit is contained in:
Leonardo 2021-01-26 11:40:30 +01:00 committed by GitHub
commit 6488dd5b96
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -25,7 +25,7 @@ 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.9 version=4.8.10
DISTRIBUTIONS="focal groovy" DISTRIBUTIONS="focal groovy"