/ops.adb/1.10/Mon Aug 12 20:30:49 2024//Tnetbsd-11-0-RC1
/ops.ads/1.10/Mon Aug 12 20:30:49 2024//Tnetbsd-11-0-RC1
/ops_test.adb/1.10/Mon Aug 12 20:30:50 2024//Tnetbsd-11-0-RC1
D
