/ctf-spec.info/1.1.1.1/Sun Jul 30 22:44:42 2023//
/ctf-spec.texi/1.1.1.1/Sun Jul 30 22:44:42 2023//
/local.mk/1.1.1.1/Sun Jul 30 22:44:42 2023//
D