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

Minor post-release adjustments.

Browse Source
This commit is contained in:
Daniel Kirchner
2023-05-11 11:28:00 +02:00
parent f07c8b1f51
commit c3a8b9cebb
3 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/deps-ppa/static_z3.sh
+1 -1
View File
@@ -41,7 +41,7 @@ sourcePPAConfig
# Sanity check
checkDputEntries "\[cpp-build-deps\]"
DISTRIBUTIONS="focal jammy kinetic"
DISTRIBUTIONS="focal jammy kinetic lunar"
for distribution in $DISTRIBUTIONS
do