CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/01/29 04:34:37
Modified files:
math/lean : Makefile
Added files:
math/lean/patches: patch-src_library_parray_h
Log message:
math/lean: fix build with llvm 19
I should really figure out how to update this to lean 4...
