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

Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it.

Browse Source
This commit is contained in:
Daniel Kirchner
2020-12-07 18:18:41 +01:00
parent 8623e7fbe8
commit a3a5d93b34
6 changed files with 4 additions and 131 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/deps-ppa/static_z3.sh
+1 -1
View File
@@ -27,7 +27,7 @@ email=builds@ethereum.org
packagename=libz3-static-dev
version=4.8.9
DISTRIBUTIONS="bionic focal groovy"
DISTRIBUTIONS="focal groovy"
for distribution in $DISTRIBUTIONS
do