/patch-configure/1.2/Sat Mar 12 08:16:48 2022//
/patch-scm_c/1.4/Sat Mar 12 08:16:48 2022//
/patch-scmfig_h/1.5/Sat Mar 12 08:16:48 2022//
/patch-setjump_h/1.2/Sat Mar 12 08:16:48 2022//
/patch-time_c/1.5/Sat Mar 12 08:16:48 2022//
/patch-x_c/1.1/Fri Jan 27 17:27:23 2023//
D
