diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-09-10 04:20:00 +0000 |
|---|---|---|
| committer | Mario Rodas <marsam@users.noreply.github.com> | 2023-09-10 04:20:00 +0000 |
| commit | 1a5ae14bcb055629579cfa80aebff937870a2207 (patch) | |
| tree | 527b6ad0a89244a8190a9a8505844e18458bc8dc /pkgs/development/python-modules/rangehttpserver | |
| parent | b7f08798e2cfdeae7ec0f8729a74d759b3c5d540 (diff) | |
elan: 2.0.1 -> 3.0.0
Diff: https://github.com/leanprover/elan/compare/v2.0.1...v3.0.0
Changelog: https://github.com/leanprover/elan/blob/v3.0.0/CHANGELOG.md
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions