cerc-io/solidity
11
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

Update Z3 deps ppa script.

Browse Source
This commit is contained in:
Daniel Kirchner 2022-05-13 10:20:15 +02:00 committed by Leo Alt
parent 6414891d79
commit 33a0f9c02a
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
email=builds@ethereum.org
packagename=z3-static
version=4.8.16
version=4.8.17
DISTRIBUTIONS="focal impish jammy"