…
..
patch-config_h
patch-src_dump2rom_c
patch-src_hp48_h
patch-src_Imakefile
patch-src_serial_c