/gcc/testsuite/gnat.dg/specs/

• ../
• abstract_limited.ads
• controller.ads
• double_record_extension1.ads
• double_record_extension2.ads
• formal_type.ads
• gen_interface.ads
• gen_interface_p.ads
• specs.exp
• static_initializer.ads
• unchecked_union.ads
• universal_fixed.ads