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

static_z3.sh: Update releases to include only maintained ones

Browse Source
This commit is contained in:
Marenz 2022-08-25 15:07:06 +02:00
parent 0475ec81f0
commit c5e9b6e666
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

@ -41,7 +41,7 @@ sourcePPAConfig
# Sanity check # Sanity check
checkDputEntries "\[cpp-build-deps\]" checkDputEntries "\[cpp-build-deps\]"
DISTRIBUTIONS="focal impish jammy kinetic" DISTRIBUTIONS="focal jammy kinetic"
for distribution in $DISTRIBUTIONS for distribution in $DISTRIBUTIONS
do do