/ctf-spec.info/1.1.1.2/Mon Jul 1 03:01:29 2024// /ctf-spec.texi/1.1.1.2/Mon Jul 1 03:01:29 2024// /local.mk/1.1.1.2/Mon Jul 1 03:01:29 2024// D