/aggregates.adb/1.1.1.3/Mon Aug 12 20:00:53 2024//Tnetbsd-11-0-RC1
/aggregates.ads/1.1.1.3/Mon Aug 12 20:00:53 2024//Tnetbsd-11-0-RC1
/pck.adb/1.1.1.3/Mon Aug 12 20:00:53 2024//Tnetbsd-11-0-RC1
/pck.ads/1.1.1.3/Mon Aug 12 20:00:53 2024//Tnetbsd-11-0-RC1
/tester.adb/1.1.1.3/Mon Aug 12 20:00:53 2024//Tnetbsd-11-0-RC1
D
