math/lean4: update 4.25.2-20251201 → 4.29.0.r2
Description
Description
Details
Details
- Provenance
yuri Authored on Feb 27 2026, 5:55 AM - Parents
- R11:b83e3292e932: www/gitlab: security and patch update to 18.9.1
- Branches
- Unknown
- Tags
math/lean4: update 4.25.2-20251201 → 4.29.0.r2 Tags None Referenced Files None Subscribers None |