Lev Livnev 917ce8e48f solc: build with cvc4 support ...

n.b. that cvc4 support is required for the tests to pass

2019-08-23 18:19:48 +01:00

..

patches

solc: 0.5.9 -> 0.5.10

2019-06-26 00:28:51 +08:00

default.nix

solc: build with cvc4 support

2019-08-23 18:19:48 +01:00