Marenz Merge pull request #12981 from ethereum/update-static-z3

1dba6aa

May 5, 2022

Merge pull request #12981 from ethereum/update-static-z3

Update version & distributions for static z3 script

1dba6aa