/patch-generate_randfile_cpp/1.1/Tue Dec  9 20:46:00 2014//
/patch-rand_cpp/1.1/Tue Dec  9 20:46:00 2014//
/patch-configure_in/1.4/Wed Aug 19 07:34:50 2015//
/patch-Makefile_in/1.3/Wed May 24 17:12:51 2017//
/patch-port_h_in/1.4/Wed May 24 17:12:51 2017//
D
