math/lean4: update 4.29.0-rc2 → 4.29.0
Description
Description
Details
Details
- Provenance
yuri Authored on Sat, Mar 28, 9:45 AM - Parents
- R11:37f74b0fe10f: devel/py-sqlfluff: Update to 4.1.0
- Branches
- Unknown
- Tags
math/lean4: update 4.29.0-rc2 → 4.29.0 Tags None Referenced Files None Subscribers None |