/patch-engines_phalanx-scid_book_c/1.2/Sat Mar 12 08:16:23 2022//
/patch-engines_phalanx-scid_io_c/1.2/Sat Mar 12 08:16:23 2022//
/patch-engines_phalanx-scid_makefile/1.3/Sat Mar 12 08:16:23 2022//
/patch-engines_phalanx-scid_search_c/1.2/Sat Mar 12 08:16:23 2022//
/patch-engines_togaII1_2_1a_src_Makefile/1.4/Sat Mar 12 08:16:23 2022//
/patch-configure/1.4/Tue Aug  1 07:19:10 2023//
/patch-tcl_utils_tooltip_tcl/1.1/Tue Aug  1 05:37:05 2023//
D
