diff options
| author | Mauricio Collares <mauricio@collares.org> | 2025-01-05 16:53:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-05 16:53:07 +0100 |
| commit | 8d1a3db92fb2f8b8b1b04e783ceaf10e61754f0c (patch) | |
| tree | 12b421cd8a36367e810c398b3ff419ae0c108ad8 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | bdbcd8fcde7eae59e8b8b1c6979a0f52bedf1ee4 (diff) | |
| parent | f317e28d813ba09d0165e251211e98ccc58110ca (diff) | |
elan: fix for Lean >= 4.16.0 (#362062)
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions