openbsd-ports/math/minisat/patches
..
patch-core_Main_cc
patch-mtl_template_mk
patch-simp_Main_cc
patch-utils_System_cc