Lorenzo Manacorda e639f24681 solc: make z3 dependency optional ...

It is an optional dependency, which defaults to true.

https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers

2019-02-20 18:15:45 +01:00

..

androidndk-pkgs

…

arduino

…

beam-modules

rebar3: 3.6.1 -> 3.9.0

2019-02-06 19:45:40 +01:00

bower-modules/generic

…

compilers

solc: make z3 dependency optional

2019-02-20 18:15:45 +01:00

coq-modules

coqPackages.flocq: 3.0.0 -> 3.1.0

2019-02-15 10:03:39 +01:00

dhall-modules

…

dotnet-modules/patches

…

em-modules/generic

…

go-modules

…

guile-modules

…

haskell-modules

Revert "shellFor: Don't suck in src to compare to deps. [Fixes #51079]"

2019-02-15 12:18:44 +01:00

idris-modules

…

interpreters

Merge branch 'master' into staging-next

2019-02-09 10:15:17 +01:00

java-modules

…

libraries

Merge branch 'auto-update/qalculate-gtk'

2019-02-16 17:25:47 +01:00

lisp-modules

…

lua-modules

luaPackages.lua-iconv: move to generated

2019-02-13 14:13:39 +09:00

misc

…

mobile

…

node-packages

nodePackages_10_x: add markdown-link-check

2019-02-13 21:10:14 +07:00

ocaml-modules

ocamlPackages.ocaml-migrate-parsetree: 1.1.0 -> 1.2.0

2019-02-16 09:05:06 +01:00

perl-modules

…

pharo

…

pure-modules

…

python-modules

python: pandas: 0.23.4 -> 0.24.1

2019-02-16 12:11:28 +01:00

r-modules

update R package set

2019-02-10 11:16:19 +01:00

ruby-modules

defaultGemConfig.ovirt-engine-sdk: init

2019-02-06 23:51:56 +01:00

tools

Merge pull request #55916 from rvolosatovs/update/mbed-cli

2019-02-20 17:25:26 +01:00

web

Merge pull request #54287 from marsam/update-node-v11

2019-02-08 17:39:47 -05:00