/patch-src_debugger_c/1.1/Thu May  4 19:59:37 2017//
/patch-src_emulate_c/1.1/Thu May  4 19:59:37 2017//
/patch-src_hp48_h/1.2/Wed Nov 23 19:36:44 2011//
/patch-src_serial_c/1.2/Wed Nov 23 19:36:44 2011//
/patch-src_x48_x11_c/1.1/Thu May  4 19:59:37 2017//
D
