solc: 0.5.3 -> 0.5.4
This commit is contained in:
parent
fb2c419b5d
commit
572f828e7e
@ -3,11 +3,12 @@
|
||||
}:
|
||||
|
||||
assert z3Support -> z3 != null;
|
||||
assert z3Support -> stdenv.lib.versionAtLeast z3.version "4.6.0";
|
||||
|
||||
let
|
||||
version = "0.5.3";
|
||||
rev = "10d17f245839f208ec5085309022a32cd2502f55";
|
||||
sha256 = "1jq41pd3nj534cricy1nq6wgk4wlwg239387n785aswpwd705jbb";
|
||||
version = "0.5.4";
|
||||
rev = "9549d8fff7343908228c3e8bedc309d1b83fc204";
|
||||
sha256 = "1r6wklp3ab2s1lrm70zv6p7blv9917ph1arjsb250j7b7bpjg5pq";
|
||||
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