public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #56365 from asymmetric/solc-0.5.4 

solc: 0.5.3 -> 0.5.4
This commit is contained in:
Graham Christensen 2019-03-04 08:47:56 -05:00 committed by GitHub
parent 09d708eee3 572f828e7e
commit 1774c68090
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/compilers/solc/default.nix
View File

@ -3,11 +3,12 @@
}: }:
assert z3Support -> z3 != null; assert z3Support -> z3 != null;
assert z3Support -> stdenv.lib.versionAtLeast z3.version "4.6.0";
let let
version = "0.5.3"; version = "0.5.4";
rev = "10d17f245839f208ec5085309022a32cd2502f55"; rev = "9549d8fff7343908228c3e8bedc309d1b83fc204";
sha256 = "1jq41pd3nj534cricy1nq6wgk4wlwg239387n785aswpwd705jbb"; sha256 = "1r6wklp3ab2s1lrm70zv6p7blv9917ph1arjsb250j7b7bpjg5pq";
jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz; jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz;
jsoncpp = fetchzip { jsoncpp = fetchzip {
url = jsoncppURL; url = jsoncppURL;