Diffusion FreeBSD ports repository 65e52a0876a9

math/lean4: Update patches
65e52a0876a9
Actions

Description

math/lean4: Update patches

Details

Provenance

yuri	Authored on Nov 25 2025, 4:33 AM

Parents

R11:a7d59248ed59: dns/subfinder: update 2.9.0 → 2.10.1

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:65e52a0876a9: math/lean4: Update patches (authored by yuri).Nov 25 2025, 4:33 AM

Changes (6)

Path

Size

math/

lean4/

files/

patch-src_bin_leanc.in

patch-src_runtime_io.cpp

patch-src_runtime_stack__overflow.cpp

patch-src_shell_CMakeLists.txt

patch-stage0_src_bin_leanc.in

patch-stage0_src_shell_CMakeLists.txt

R11:65e52a0876a9

View Options

math/lean4/files/patch-src_bin_leanc.in

View Options

math/lean4/files/patch-src_runtime_io.cpp

View Options

math/lean4/files/patch-src_runtime_stack__overflow.cpp

View Options

math/lean4/files/patch-src_shell_CMakeLists.txt

View Options

math/lean4/files/patch-stage0_src_bin_leanc.in

View Options

math/lean4/files/patch-stage0_src_shell_CMakeLists.txt

math/lean4: Update patches65e52a0876a9Actions

Description

Details

Event Timeline

Changes (6)

R11:65e52a0876a9

math/lean4/files/patch-src_bin_leanc.in

math/lean4/files/patch-src_runtime_io.cpp

math/lean4/files/patch-src_runtime_stack__overflow.cpp

math/lean4/files/patch-src_shell_CMakeLists.txt

math/lean4/files/patch-stage0_src_bin_leanc.in

math/lean4/files/patch-stage0_src_shell_CMakeLists.txt

math/lean4: Update patches
65e52a0876a9
Actions