/GENERIC.MP/1.1/Sun Mar 19 14:56:52 2000//
/GENERIC_USB/1.2/Thu Feb  7 03:01:27 2019//
/majors.vax/1.30/Sun Apr  5 03:01:53 2020//
/std.vax/1.17/Sat Jun  5 03:01:47 2021//
/VAX780/1.34/Tue Feb  7 03:01:37 2023//
/INSTALL/1.77/Sun Feb 12 03:01:26 2023//
/GENERIC/1.219/Mon Feb 13 03:01:29 2023//
/Makefile.vax/1.86/Sun Oct  8 03:01:34 2023//
/files.vax/1.128/Sun Feb 11 03:01:32 2024//
D