/patch-Makefile_in/1.4/Sat Mar 12 08:15:08 2022//
/patch-configure_in/1.5/Sat Mar 12 08:15:08 2022//
/patch-generate_randfile_cpp/1.2/Sat Mar 12 08:15:08 2022//
/patch-port_h_in/1.5/Sat Mar 12 08:15:08 2022//
/patch-rand_cpp/1.2/Sat Mar 12 08:15:08 2022//
D
