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

…

default.nix

solc: build with cvc4 support

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