/b.adb/1.1.1.4/Mon Aug 12 21:38:40 2024//Tnetbsd-11-0-RC1
/b.ads/1.1.1.4/Mon Aug 12 21:38:40 2024//Tnetbsd-11-0-RC1
/c.adb/1.1.1.4/Mon Aug 12 21:38:40 2024//Tnetbsd-11-0-RC1
/c.ads/1.1.1.4/Mon Aug 12 21:38:40 2024//Tnetbsd-11-0-RC1
/foo.adb/1.1.1.4/Mon Aug 12 21:38:40 2024//Tnetbsd-11-0-RC1
D
