/patch-src_runtime_GNUmakefile/1.12/Fri Jun 30 17:19:35 2023//
/patch-src_runtime_Config_generic-openbsd/1.8/Mon May  6 15:56:24 2024//
/patch-src_cold_shared_lisp/1.4/Sat Aug 30 17:19:28 2025//
D
