/patch-makefile/1.7/Tue Jun 24 22:24:39 2003//
/patch-scp_c/1.8/Wed May 28 16:31:07 2003//
/patch-sim_sock_c/1.4/Sun Feb  2 20:19:56 2003//
/patch-VAX_vax_cpu_c/1.3/Tue Sep 23 06:57:38 2003//
D
