/cc-with-tweaks.sh/1.8/Mon Sep 14 00:39:57 2020//Tnetbsd-10
/expect-read1.c/1.8/Mon Sep 14 00:39:57 2020//Tnetbsd-10
/expect-read1.sh/1.8/Mon Sep 14 00:39:57 2020//Tnetbsd-10
/gdb-add-index.sh/1.8/Mon Sep 14 00:39:57 2020//Tnetbsd-10
/test_pubnames_and_indexes.py/1.8/Mon Sep 14 00:39:57 2020//Tnetbsd-10
D/ari////