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

../
patch-src_CMakeLists.txt,v                         24-Jul-2026 21:26                1614
patch-src_Leanc.lean,v                             24-Jul-2026 18:39                 909
patch-src_include_lean_lean.h,v                    25-Jul-2026 11:24                1373
patch-src_lake_Lake_Build_Common.lean,v            24-Jul-2026 18:39                1999
patch-src_runtime_process.cpp,v                    24-Jul-2026 21:26                1585
patch-stage0_src_CMakeLists.txt,v                  24-Jul-2026 21:26                1635
patch-stage0_src_include_lean_lean.h,v             25-Jul-2026 11:24                1394
patch-stage0_src_runtime_process.cpp,v             24-Jul-2026 21:26                1575