diff options
| author | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-01-13 22:09:29 +0100 |
|---|---|---|
| committer | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-01-14 07:47:46 +0100 |
| commit | 49b8bad2d783dfe7180b94f178c176f80954c659 (patch) | |
| tree | a9fe5b5d9071903eac3826ad89f78c776174bfd1 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | ed3033393ead7b19737a8dbc9702833a5eda2fe1 (diff) | |
lean4: 4.14.0 -> 4.15.0
Release notes: https://github.com/leanprover/lean4/releases/tag/v4.15.0
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions