CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/12/17 06:57:36
Modified files:
math/lean : Makefile
Added files:
math/lean/patches: patch-src_shell_lean_js_cpp
patch-src_shell_lean_js_h
Log message:
gcc15 is sensitive to missing includes, add <cstdint> to please it.
OK tb@
