/defs.adb/1.8/Mon Sep 14 00:40:07 2020//Tnetbsd-10-0-RELEASE
/defs.ads/1.8/Mon Sep 14 00:40:07 2020//Tnetbsd-10-0-RELEASE
/formatted_ref.adb/1.8/Mon Sep 14 00:40:07 2020//Tnetbsd-10-0-RELEASE
D
