/patch-Makefile_in/1.2/Tue Oct 14 07:31:14 2014//
/patch-configure_in/1.3/Tue Oct 14 07:31:14 2014//
/patch-port_h_in/1.2/Tue Oct 14 07:31:14 2014//
/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//
D
