/gcc/testsuite/gnat.dg/specs/
../
abstract_limited.ads
access3.ads
constructor.ads
controller.ads
cpp1.ads
double_record_extension1.ads
double_record_extension2.ads
formal_type.ads
gen_interface.ads
gen_interface_p.ads
gnati.ads
limited1.ads
pack2.ads
preelab.ads
specs.exp
static_initializer.ads
tag1.ads
uc1.ads
unchecked_union.ads
universal_fixed.ads