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
0475ec81f0
solidity/scripts/deps-ppa
History
Marenz 0475ec81f0 Cleanup static z3 script to work similar to release_ppa
2022-08-25 15:18:55 +02:00
..
static_z3.sh Cleanup static z3 script to work similar to release_ppa 2022-08-25 15:18:55 +02:00