diff options
| author | Lorenz Leutgeb <lorenz@leutgeb.xyz> | 2020-08-15 07:37:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-15 07:37:38 +0200 |
| commit | d50a6db016e7d4ccaa2f089d0928062b6eb16be1 (patch) | |
| tree | b0a2afba5f828f450187555fb76236ea487ba295 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 774db64cc69b468f691dd425758844e038e3bc41 (diff) | |
z3: Add Java Bindings (#92096)
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions