Index of /cvsroot/pkgsrc/math/lean4/patches/

../
patch-src_CMakeLists.txt,v                         21-Sep-2026 18:25                1661
patch-src_Leanc.lean,v                             21-Sep-2026 18:25                 956
patch-src_include_lean_lean.h,v                    21-Sep-2026 18:25                1420
patch-src_lake_Lake_Build_Common.lean,v            21-Sep-2026 18:25                3191
patch-src_runtime_process.cpp,v                    21-Sep-2026 18:25                5612
patch-stage0_src_CMakeLists.txt,v                  21-Sep-2026 18:25                1682
patch-stage0_src_include_lean_lean.h,v             21-Sep-2026 18:25                1441
patch-stage0_src_runtime_process.cpp,v             21-Sep-2026 18:25                5616