/aout.sed/1.5/Thu Oct 13 00:55:33 2016// /ecoff.sed/1.5/Thu Oct 13 00:55:33 2016// /hppa.sed/1.5/Thu Oct 13 00:55:33 2016// /weird.def/1.5/Thu Oct 13 00:55:33 2016// /xcoff.sed/1.5/Thu Oct 13 00:55:33 2016// /exclfwd.exp/1.10/Tue Aug 13 03:02:28 2024// /exclfwd.h/1.10/Tue Aug 13 03:02:28 2024// /exclfwd1.c/1.10/Tue Aug 13 03:02:28 2024// /exclfwd2.c/1.10/Tue Aug 13 03:02:28 2024// /gdb11479.c/1.10/Tue Aug 13 03:02:28 2024// /gdb11479.exp/1.10/Tue Aug 13 03:02:28 2024// /weird.exp/1.10/Tue Aug 13 03:02:28 2024// D