Diffusion FreeBSD ports repository ecfba1814540

math/lean4: update 4.23.0 → 4.25.1
ecfba1814540
Actions

Description

math/lean4: update 4.23.0 → 4.25.1

Details

Provenance

yuri	Authored on Nov 24 2025, 6:07 PM

Parents

R11:69c8a95d0e9e: devel/gitleaks: update 8.29.0 → 8.29.1

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:ecfba1814540: math/lean4: update 4.23.0 → 4.25.1 (authored by yuri).Nov 24 2025, 6:26 PM

Changes (9)

Path

Size

math/

lean4/

Makefile

distinfo

files/

patch-src_CMakeLists.txt

patch-src_shell_CMakeLists.txt

patch-stage0_src_CMakeLists.txt

patch-stage0_src_runtime_stack__overflow.cpp

patch-stage0_src_shell_CMakeLists.txt

patch-tests_lakefile.toml

pkg-plist

R11:ecfba1814540

View Options

math/lean4/Makefile

View Options

math/lean4/distinfo

View Options

math/lean4/files/patch-src_CMakeLists.txt

View Options

math/lean4/files/patch-src_shell_CMakeLists.txt

View Options

math/lean4/files/patch-stage0_src_CMakeLists.txt

View Options

math/lean4/files/patch-stage0_src_runtime_stack__overflow.cpp

View Options

math/lean4/files/patch-stage0_src_shell_CMakeLists.txt

View Options

math/lean4/files/patch-tests_lakefile.toml

View Options

math/lean4: update 4.23.0 → 4.25.1ecfba1814540Actions

Description

Details

Event Timeline

Changes (9)

R11:ecfba1814540

math/lean4/Makefile

math/lean4/distinfo

math/lean4/files/patch-src_CMakeLists.txt

math/lean4/files/patch-src_shell_CMakeLists.txt

math/lean4/files/patch-stage0_src_CMakeLists.txt

math/lean4/files/patch-stage0_src_runtime_stack__overflow.cpp

math/lean4/files/patch-stage0_src_shell_CMakeLists.txt

math/lean4/files/patch-tests_lakefile.toml

math/lean4/pkg-plist

math/lean4: update 4.23.0 → 4.25.1
ecfba1814540
Actions