/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//
D
