solc: 0.5.2 -> 0.5.3
This commit is contained in:
parent
4457da9a99
commit
f4770dbbc8
@ -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;
|
||||
|
Loading…
Reference in New Issue
Block a user