diff options
| author | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-06-19 08:37:41 +0200 |
|---|---|---|
| committer | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-06-19 08:37:41 +0200 |
| commit | 4085f84cc3c031aefd04d1ddd5c9c6912788a860 (patch) | |
| tree | fa4fccfb284ae7fb6701e7ad8118adc111d2a8fe /pkgs/development/python-modules/robotframework-pythonlibcore/git@git.tavy.me:nixos | |
| parent | 51bf23ac399bd57998bdc27c7ba6a4818ac8c401 (diff) | |
lean4: 4.19.0 -> 4.20.0
Release notes:
- https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc1
- https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc2
- https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc3
- https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc4
- https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc5
- https://github.com/leanprover/lean4/releases/tag/v4.20.0
Diffstat (limited to 'pkgs/development/python-modules/robotframework-pythonlibcore/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions