/majors.cesfic/1.23/Sun Apr  5 03:01:49 2020//
/GENERIC/1.78/Mon Feb 13 03:01:26 2023//
/std.cesfic/1.6/Wed Jan 10 03:01:38 2024//
/Makefile.cesfic/1.21/Sun Mar 22 03:01:47 2026//
/files.cesfic/1.22/Sun Mar 22 03:01:47 2026//
D