pkgsrc/math/py-z3solver/patches
..
patch-core_scripts_mk__util.py
patch-core_src_util_stopwatch.h