Home
last modified time | relevance | path

Searched defs:SPARK_File_Table (Results 1 – 3 of 3) sorted by relevance

/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dspark_xrefs.ads354 package SPARK_File_Table is new GNAT.Table ( packspec
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dspark_xrefs.ads354 package SPARK_File_Table is new GNAT.Table ( packspec
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dspark_xrefs.ads338 package SPARK_File_Table is new GNAT.Table ( packspec