Index of /pub/NetBSD-CVS/pkgsrc/math/minisat/patches/

../
patch-core_SolverTypes.h,v                         20-Sep-2025 13:26                3318
patch-utils_System.cc,v                            20-Sep-2025 13:26                3982