Index of /pub/NetBSD-CVS/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            11-Aug-2026 12:55                3144
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