This website requires JavaScript.
Explore
Help
Sign In
freebsd
/
ports
Watch
1
Star
0
Fork
0
You've already forked ports
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
ports
/
math
/
lean4
/
files
History
Yuri Victorovich
65e52a0876
math/lean4: Update patches
2025-11-24 20:33:45 -08:00
..
patch-src_CMakeLists.txt
…
patch-src_runtime_io.cpp
math/lean4: Update patches
2025-11-24 20:33:45 -08:00
patch-src_runtime_process.cpp
…
patch-src_runtime_stack__overflow.cpp
math/lean4: Update patches
2025-11-24 20:33:45 -08:00
patch-src_shell_CMakeLists.txt
math/lean4: Update patches
2025-11-24 20:33:45 -08:00
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-stage0_src_shell_CMakeLists.txt
math/lean4: Update patches
2025-11-24 20:33:45 -08:00
patch-tests_lakefile.toml
…
