/patch-Makefile_in/1.3/Sat Mar 12 08:16:46 2022//
/patch-librep_pc_in/1.8/Sat Mar 12 08:16:46 2022//
/patch-man_Makefile_in/1.3/Sat Mar 12 08:16:46 2022//
/patch-src_Makefile_in/1.7/Sat Mar 12 08:16:46 2022//
/patch-src_rep-xgettext_jl/1.2/Sat Mar 12 08:16:46 2022//
/patch-src_repint_h/1.3/Mon Feb  6 19:39:19 2023//
D
