/patch-Makefile_in/1.4/Fri Mar 11 18:21:39 2022//
/patch-configure_in/1.5/Fri Mar 11 18:21:39 2022//
/patch-generate_randfile_cpp/1.2/Fri Mar 11 18:21:39 2022//
/patch-port_h_in/1.5/Fri Mar 11 18:21:39 2022//
/patch-rand_cpp/1.2/Fri Mar 11 18:21:39 2022//
D
