diff options
| author | Sebastian Ullrich <sebasti@nullri.ch> | 2024-12-05 13:25:07 +0100 |
|---|---|---|
| committer | Sebastian Ullrich <sebasti@nullri.ch> | 2024-12-05 13:25:59 +0100 |
| commit | f317e28d813ba09d0165e251211e98ccc58110ca (patch) | |
| tree | 6080a7d544c138d031d8d396c51cd5de1c231e6b /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 95c18ad139ab8df271125c6e7ef6dbc8b6ff8a82 (diff) | |
elan: fix for Lean >= 4.16.0
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions