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
Files
pristine
ports
/
math
/
lean4
/
files
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
Delete Directory
History
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
…
patch-tests_lakefile.toml
…
patch-tests_util.sh
…
run-tests-one-by-one.sh
…
Yuri Victorovich