math/lean: Update 3.39.2 -> 3.40.0
Reported by: portscout
Description
Description
Details
Details
- Provenance
yuri Authored on Feb 23 2022, 4:47 PM - Parents
- R11:6ea12069549f: math/hsl: New port: COIN-OR autotools harness to build HSL linear solvers
- Branches
- Unknown
- Tags