nixpkgs/pkgs/development/compilers/solc
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