31 lines
609 B
Plaintext
31 lines
609 B
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
RN
|
|
RV SPARK_05
|
|
|
|
U gnat.current_exception%s g-curexc.ads ba174f04 NE OL PU PK
|
|
W gnat%s gnat.ads gnat.ali
|
|
|
|
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
|
|
D g-curexc.ads 20110801150502 473d9df5 gnat.current_exception%s
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
X 1 gnat.ads
|
|
34K9*GNAT 37e9 2|44r9 112r5
|
|
X 2 g-curexc.ads
|
|
44K14*Current_Exception 1|34k9 2|112l10 112e27
|
|
53V13*Exception_Information{string} 108b30
|
|
59V13*Exception_Message{string} 109b30
|
|
65V13*Exception_Name{string} 110b30
|
|
|