/a.adb/1.10/Mon Aug 12 20:30:44 2024//Tnetbsd-11-0-RC1
/foo.c/1.10/Mon Aug 12 20:30:44 2024//Tnetbsd-11-0-RC1
/mixed.adb/1.10/Mon Aug 12 20:30:44 2024//Tnetbsd-11-0-RC1
/mixed.ads/1.10/Mon Aug 12 20:30:44 2024//Tnetbsd-11-0-RC1
/pck.adb/1.10/Mon Aug 12 20:30:44 2024//Tnetbsd-11-0-RC1
/pck.ads/1.10/Mon Aug 12 20:30:44 2024//Tnetbsd-11-0-RC1
D
