/patch-man_hfind_1/1.3/Mon Oct 10 18:58:38 2016//
/patch-man_sorter_1/1.3/Mon Oct 10 18:58:38 2016//
/patch-tools_sorter_sorter_base/1.2/Mon Jan  5 22:15:56 2009//
/patch-tools_srchtools_sigfind_cpp/1.4/Sat Apr  7 23:15:28 2018//
D
