Merge pull request #54497 from asymmetric/solc-0.5.3

solc: 0.5.2 -> 0.5.3
This commit is contained in:
Matthew Bauer 2019-02-08 17:38:57 -05:00 committed by GitHub
commit 961fbc35e5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,9 +1,9 @@
{ stdenv, fetchzip, fetchFromGitHub, boost, cmake, z3 }:
let
version = "0.5.2";
rev = "1df8f40cd2fd7b47698d847907b8ca7b47eb488d";
sha256 = "009kjyb3r2p64wpdzfcmqr9swm5haaixbzvsbw1nd4wipwbp66y0";
version = "0.5.3";
rev = "10d17f245839f208ec5085309022a32cd2502f55";
sha256 = "1jq41pd3nj534cricy1nq6wgk4wlwg239387n785aswpwd705jbb";
jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz;
jsoncpp = fetchzip {
url = jsoncppURL;