diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-10-31 06:52:03 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-31 06:52:03 -0500 |
| commit | a86d2f8be3befacc90c167ce802a1fb3501b8d14 (patch) | |
| tree | d3699f8b53f99e315ee86cc9832cceed93d9da4b /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 915a4a16e93e782de2191b3ca78a9878d40ed203 (diff) | |
| parent | 39042adae35cff4594c884ce225250dcfe590d34 (diff) | |
Merge pull request #264514 from marsam/update-lean4
lean4: 4.1.0 -> 4.2.0
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions