diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2024-02-01 05:39:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-01 05:39:59 -0500 |
| commit | 3ada8a22ba0673d7284f5a269c0238943d254f8f (patch) | |
| tree | 7d5ce477d5d863fa914d8a0b14cec713983dbd5c /pkgs/development/python-modules/rangehttpserver | |
| parent | e4c14cbcbf0f62a9180d9380aa6def021da6d9bd (diff) | |
| parent | 2c6116bd1cdb8b9fef448b0516cd6d71ccc51044 (diff) | |
Merge pull request #285422 from marsam/update-lean4
lean4: 4.4.0 -> 4.5.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions