math/lean4: Update to 4.22.0
PR: 288987
Approved by: yuri@(maintainer)
Description
Description
Details
Details
- Provenance
wen Authored on Aug 22 2025, 2:47 AM - Parents
- R11:8b24a3215ad3: www/py-django-cms: Update to 5.0.2
- Branches
- Unknown
- Tags
math/lean4: Update to 4.22.0 Tags None Referenced Files None Subscribers None |