CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/08/25 23:06:11
Modified files:
math/lean : Makefile
Log message:
lean: mark broken on mips64 and sparc64.
I don't think it ever built on mips64 and it didn't like the switch to
clang on sparc64.
