/ops.adb/1.1.1.6/Sun May 26 20:59:55 2019//Tnetbsd-9-4-RELEASE
/ops.ads/1.1.1.6/Sun May 26 20:59:55 2019//Tnetbsd-9-4-RELEASE
/ops_test.adb/1.1.1.6/Sun May 26 20:59:55 2019//Tnetbsd-9-4-RELEASE
D
