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

Add impish to static Z3 PPA script.

Browse Source
This commit is contained in:
Daniel Kirchner 2022-01-03 14:03:40 +01:00
parent 223395bcad
commit 5597d43635
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

@ -27,7 +27,7 @@ email=builds@ethereum.org
packagename=z3-static packagename=z3-static
version=4.8.13 version=4.8.13
DISTRIBUTIONS="focal groovy hirsute" DISTRIBUTIONS="focal groovy hirsute impish"
for distribution in $DISTRIBUTIONS for distribution in $DISTRIBUTIONS
do do