Lorenzo Manacorda e639f24681 solc: make z3 dependency optional ...

It is an optional dependency, which defaults to true.

https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers

2019-02-20 18:15:45 +01:00

..

patches

solc: 0.5.1 -> 0.5.2

2018-12-21 23:42:59 +01:00

default.nix

solc: make z3 dependency optional

2019-02-20 18:15:45 +01:00