Mikael Brockman 3d107c15bd solc: v0.4.13 -> v0.4.16 (#28732) ... Also add the Z3 SMT solver as a dependency, since the new solc can use it for checking assertions and stuff (which is awesome).		2017-08-30 18:21:17 +02:00
..
default.nix	solc: v0.4.13 -> v0.4.16 (#28732)	2017-08-30 18:21:17 +02:00