diff options
| author | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-12-16 17:42:15 +0100 |
|---|---|---|
| committer | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-12-16 17:42:15 +0100 |
| commit | db9f2ed5c0b674927ff950012ebd464553c1e80f (patch) | |
| tree | 3e8accf5584bcaae9e57e4333ead26073277b419 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 44a82496654b6f74ee79095df40369974db66343 (diff) | |
lean4: 4.25 -> 4.26
Release notes:
- https://github.com/leanprover/lean4/releases/tag/v4.26.0-rc2
- https://github.com/leanprover/lean4/releases/tag/v4.26.0-rc1
- https://github.com/leanprover/lean4/releases/tag/v4.26.0
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions