diff options
| author | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-01-14 07:31:40 +0100 |
|---|---|---|
| committer | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-01-14 07:46:10 +0100 |
| commit | d3fc0b6220e610949cb7706c0f80b23b1d4d3b01 (patch) | |
| tree | cbc876e9d983e3b69d64c2fed7f28fcf622d4344 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 629ab9db28ab2b24e444472b6d3f512553843b42 (diff) | |
lean4: 4.12.0 -> 4.13.0
Release notes: https://github.com/leanprover/lean4/releases/tag/v4.13.0
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions