/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//
D
