/patch-man_Makefile_in/1.3/Sat Mar 12 08:15:29 2022//
/patch-man_texinfo2man_c/1.3/Sat Mar 12 08:15:29 2022//
/patch-src_args_c/1.4/Sat Mar 12 08:15:29 2022//
/patch-src_globs_c/1.3/Sat Mar 12 08:15:29 2022//
D
