diff options
| author | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-02-03 19:42:32 +0100 |
|---|---|---|
| committer | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-02-03 19:42:32 +0100 |
| commit | f1ffa15967f481efa4439ac7394b4e10c3296aca (patch) | |
| tree | 694b0353324d623b9883ab873ddeaab919261a96 /pkgs/development/python-modules/rangehttpserver | |
| parent | 5662e9e72b5f6048ec360c97ea000e8553fe35a1 (diff) | |
lean4: 4.15.0 -> 4.16.0
Release notes: https://github.com/leanprover/lean4/releases/tag/v4.16.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions