/patch-configure/1.2/Fri Mar 11 19:29:15 2022//
/patch-scm_c/1.4/Fri Mar 11 19:29:15 2022//
/patch-scmfig_h/1.5/Fri Mar 11 19:29:15 2022//
/patch-setjump_h/1.2/Fri Mar 11 19:29:15 2022//
/patch-time_c/1.5/Fri Mar 11 19:29:15 2022//
D
