diff options
| author | Grimmauld <Grimmauld@grimmauld.de> | 2025-06-12 10:03:28 +0200 |
|---|---|---|
| committer | Grimmauld <Grimmauld@grimmauld.de> | 2025-06-12 12:18:02 +0200 |
| commit | bd9c4aee47f3778809b8e5c7ee6a3e18a2745c64 (patch) | |
| tree | 625a80d77ff6ab3512a1369074a55c4586a64cae /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | e86e8459f6ee384c90a1e9816b8e7bc8564f2c24 (diff) | |
python3Packages.z3-solver: fix z3 override
z3 now uses python3Packages, which is arguably the more correct way.
However, this requires adjusting the overlay interface.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions