diff options
| author | Lorenzo Manacorda <lorenzo@mailbox.org> | 2019-02-21 00:45:28 +0100 |
|---|---|---|
| committer | Lorenzo Manacorda <lorenzo@mailbox.org> | 2019-02-25 17:50:54 +0100 |
| commit | 572f828e7e87b113e416a48db603985b2d1b7036 (patch) | |
| tree | f65cc8e02d4791040c4d59a6bd6b4293d0b6bed6 /pkgs/development/compilers | |
| parent | fb2c419b5d4ee24d56407ed38c845f91c5c97114 (diff) | |
| download | nixlib-572f828e7e87b113e416a48db603985b2d1b7036.tar nixlib-572f828e7e87b113e416a48db603985b2d1b7036.tar.gz nixlib-572f828e7e87b113e416a48db603985b2d1b7036.tar.bz2 nixlib-572f828e7e87b113e416a48db603985b2d1b7036.tar.lz nixlib-572f828e7e87b113e416a48db603985b2d1b7036.tar.xz nixlib-572f828e7e87b113e416a48db603985b2d1b7036.tar.zst nixlib-572f828e7e87b113e416a48db603985b2d1b7036.zip | |
solc: 0.5.3 -> 0.5.4
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/solc/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/compilers/solc/default.nix b/pkgs/development/compilers/solc/default.nix index bd4b10ddec05..2f3674fdbea4 100644 --- a/pkgs/development/compilers/solc/default.nix +++ b/pkgs/development/compilers/solc/default.nix @@ -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; |