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