diff options
| author | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-03-03 14:22:20 +0100 |
|---|---|---|
| committer | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-03-03 14:51:56 +0100 |
| commit | e08eecb8c4557d17828a140d126389bdff6c5c10 (patch) | |
| tree | 3113e64b0227dcbf6829df45452bdfa621f6c228 /pkgs/development/python-modules/rangehttpserver | |
| parent | 7768e6b94fdec14ee0dc366aa850ea8f2dc11af1 (diff) | |
lean4: 4.16.0 -> 4.17.0
Release notes: https://github.com/leanprover/lean4/releases/tag/v4.17.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions