/patch-Jamrules/1.7/Mon Jul  9 15:45:48 2018//
/patch-garglk_Jamfile/1.1/Thu Aug 22 20:06:49 2013//
/patch-garglk_glk_h/1.1/Thu Aug 22 20:06:50 2013//
/patch-garglk_launchgtk_c/1.2/Thu Aug 22 20:06:50 2013//
/patch-tads_Jamfile/1.4/Thu Aug 22 20:06:50 2013//
/patch-terps_bocfel_process_h/1.1/Wed May 24 15:50:20 2017//
D
