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

…

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

…

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

…

tools

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

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

web

…