Yuri Victorovich 7019d2bdb9 math/lean4: Remove patch to fix build ...

Reported by:	fallout

2026-07-06 08:05:17 -07:00

..

patch-src_CMakeLists.txt

math/lean4: update 4.30.0 → 4.31.0

2026-06-16 20:19:01 -07:00

patch-src_runtime_io.cpp

math/lean4: update 4.30.0 → 4.31.0

2026-06-16 20:19:01 -07:00

patch-src_runtime_process.cpp

…

patch-src_runtime_stack__overflow.cpp

…

patch-src_runtime_thread.h

math/lean4: update 4.30.0 → 4.31.0

2026-06-16 20:19:01 -07:00

patch-stage0_src_CMakeLists.txt

math/lean4: update 4.30.0 → 4.31.0

2026-06-16 20:19:01 -07:00

patch-stage0_src_runtime_io.cpp

math/lean4: update 4.30.0 → 4.31.0

2026-06-16 20:19:01 -07:00

patch-stage0_src_runtime_process.cpp

…

patch-stage0_src_runtime_stack__overflow.cpp

…

patch-stage0_src_runtime_thread.h

math/lean4: update 4.30.0 → 4.31.0

2026-06-16 20:19:01 -07:00

patch-tests_CMakeLists.txt

math/lean4: update 4.29.1 → 4.30.0

2026-05-26 12:14:49 -07:00

patch-tests_lakefile.toml

…

patch-tests_util.sh

math/lean4: update 4.29.1 → 4.30.0

2026-05-26 12:14:49 -07:00

run-tests-one-by-one.sh

…