CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2026/10/16 07:05:49
Modified files:
math/lean : Makefile distinfo
math/lean/patches: patch-src_CMakeLists_txt
math/lean/pkg : PLIST
Added files:
math/lean/patches: patch-src_runtime_io_cpp
patch-src_runtime_process_cpp
patch-src_runtime_stack_overflow_cpp
patch-stage0_src_CMakeLists_txt
patch-stage0_src_runtime_io_cpp
patch-stage0_src_runtime_process_cpp
patch-stage0_src_runtime_stack_overflow_cpp
patch-tests_elab_openssl_lean
Removed files:
math/lean/patches: patch-bin_leanpkg patch-src_library_parray_h
patch-src_shell_lean_js_cpp
patch-src_shell_lean_js_h
patch-src_util_path_cpp
patch-tests_lean_test_single_sh
Log message:
math/lean: update to 4.35.0
OK: tb@
