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 #12314 from ethereum/updatez3ppa

Browse Source 
Update z3 version in ppa build file.
This commit is contained in:
chriseth
2021-11-23 15:38:28 +01:00
committed by GitHub
parent 9b6a687a24 3b98bee29a
commit 26cfa2a9d8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/deps-ppa/static_z3.sh
+1 -1
View File
@@ -25,7 +25,7 @@ set -ev
keyid=70D110489D66E2F6
email=builds@ethereum.org
packagename=z3-static
version=4.8.12
version=4.8.13
DISTRIBUTIONS="focal groovy hirsute"