Merge branch 'master' of github.com:ConsenSys/mythril

pull/80/head
Bernhard Mueller 7 years ago
commit 98f9bb66d3
  1. 2
      requirements.txt

@ -2,7 +2,7 @@ ethereum>=2.0.4
ZODB>=5.3.0
z3-solver>=4.5
web3
laser-ethereum==0.5.5
laser-ethereum==0.5.8
requests
BTrees
py-solc

Loading…
Cancel
Save