math/lean4: update 4.20.0 → 4.20.1
Reported by: portscout
Description
Description
Details
Details
- Provenance
yuri Authored on Jun 5 2025, 3:23 PM - Parents
- R11:aa9a3a3378da: devel/git-cliff: update 2.9.0 → 2.9.1
- Branches
- Unknown
- Tags
math/lean4: update 4.20.0 → 4.20.1 Tags None Referenced Files None Subscribers None |