/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//
/patch-Makefile_in/1.5/Wed Nov 15 18:18:08 2023//
D
