math/lean4: Broken on armv7
Reported by: fallout
(cherry picked from commit 39cc19929dda91e10fd0b92cc16b1f506cb57e2c)
Description
Description
Details
Details
- Provenance
yuri Authored on May 6 2024, 8:43 AM - Parents
- R11:8b7f2df6ba5c: misc/llama-cpp: Broken on armv7
- Branches
- Unknown
- Tags