math/lean: Update 3.41.0 -> 3.42.0
Reported by: portscout
Description
Description
Details
Details
- Provenance
yuri Authored on Mar 19 2022, 11:27 PM - Parents
- R11:ad1f1c0f6b83: cad/openfpgaloader: Update 0.7.0 -> 0.8.0
- Branches
- Unknown
- Tags
math/lean: Update 3.41.0 -> 3.42.0 Tags None Referenced Files None Subscribers None |