math/lean: Update 3.42.0 -> 3.42.1
Reported by: portscout
Description
Description
Details
Details
- Provenance
yuri Authored on Mar 27 2022, 2:50 AM - Parents
- R11:e29bb23d93c0: devel/libpafe-ruby: fix build with Ruby 3.x
- Branches
- Unknown
- Tags
math/lean: Update 3.42.0 -> 3.42.1 Tags None Referenced Files None Subscribers None |