This website requires JavaScript.
Explore
Sign In
openbsd
/
ports
Watch
1
Star
0
Fork
0
You've already forked ports
mirror of
https://github.com/openbsd/ports.git
synced
2026-06-17 23:13:55 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
ports
/
math
/
lean
/
patches
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
claudio
32a3c9d7d7
gcc15 is sensitive to missing includes, add <cstdint> to please it.
...
OK tb@
2025-12-17 13:57:35 +00:00
..
patch-bin_leanpkg
…
patch-src_CMakeLists_txt
…
patch-src_library_parray_h
…
patch-src_shell_lean_js_cpp
gcc15 is sensitive to missing includes, add <cstdint> to please it.
2025-12-17 13:57:35 +00:00
patch-src_shell_lean_js_h
gcc15 is sensitive to missing includes, add <cstdint> to please it.
2025-12-17 13:57:35 +00:00
patch-src_util_lean_path_cpp
…
patch-tests_lean_test_single_sh
…
claudio