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

Merge pull request #12981 from ethereum/update-static-z3

Browse Source 
Update version & distributions for static z3 script
This commit is contained in:
Mathias L. Baumann
2022-05-05 16:20:56 +02:00
committed by GitHub
parent 2c49ae7a9d 1ccdb92cdb
commit 1dba6aafe4
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/deps-ppa/static_z3.sh
+2 -2
View File
@@ -25,9 +25,9 @@ set -ev
keyid=70D110489D66E2F6
email=builds@ethereum.org
packagename=z3-static
version=4.8.14
version=4.8.16
DISTRIBUTIONS="focal hirsute impish jammy"
DISTRIBUTIONS="focal impish jammy"
for distribution in $DISTRIBUTIONS
do