math/lean4: Fix build breakage on 16 caused by strict matching of the throw() attribute
Reported by: fallout
Description
Description
Details
Details
- Provenance
yuri Authored on Jul 22 2026, 12:00 AM - Parents
- R11:f171182ed32f: textproc/ast-grep: Update to 0.45.0
- Branches
- Unknown
- Tags