math/lean4: broken on 14
Reported by: fallout
Description
Description
Details
Details
- Provenance
yuri Authored on Mon, Sep 14, 1:21 AM - Parents
- R11:b661f7ddf0b7: x11-wm/jwm: Make SVG option depend on CAIRO option
- Branches
- Unknown
- Tags
math/lean4: broken on 14 Tags None Referenced Files None Subscribers None |