diff options
| author | FliegendeWurst <arne.keller@posteo.de> | 2025-02-22 23:28:33 +0100 |
|---|---|---|
| committer | Francesco Gazzetta <fgaz@fgaz.me> | 2025-03-26 20:40:35 +0000 |
| commit | d102bd9852421a0bc176e57740902552ac2dfd36 (patch) | |
| tree | 02aa856069e47c11db88b188fa8ada375ef0a3aa /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | b3148352cbd1ca9515bc7dd0010d4016d67303fd (diff) | |
key: 2.12.2 -> 2.12.3
Also include CVC5 and Z3 by default.
Patch out calls to git, and the EISOP checker framework
(didn't work with our Gradle setup).
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions