/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.11/Thu Aug 28 03:02:01 2025//
/exclfwd.h/1.11/Thu Aug 28 03:02:01 2025//
/exclfwd1.c/1.11/Thu Aug 28 03:02:01 2025//
/exclfwd2.c/1.11/Thu Aug 28 03:02:01 2025//
/gdb11479.c/1.11/Thu Aug 28 03:02:01 2025//
/weird.exp/1.11/Thu Aug 28 03:02:01 2025//
/gdb11479.exp/1.12/Sat Mar 14 03:01:42 2026//
D