59 lines
1.6 KiB
Plaintext
59 lines
1.6 KiB
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 NO_STANDARD_STORAGE_POOLS
|
||
|
RV NO_UNCHECKED_ACCESS
|
||
|
RV SPARK_05
|
||
|
|
||
|
U gnat.time_stamp%b g-timsta.adb 488bef20 NE OL PK
|
||
|
W gnat%s gnat.ads gnat.ali
|
||
|
W interfaces%s interfac.ads interfac.ali
|
||
|
W interfaces.c%s i-c.adb i-c.ali
|
||
|
|
||
|
U gnat.time_stamp%s g-timsta.ads 818aa6bf EE NE OL PK
|
||
|
W gnat%s gnat.ads gnat.ali
|
||
|
|
||
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
||
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
||
|
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
|
||
|
D g-timsta.ads 20140801083227 7ca0744e gnat.time_stamp%s
|
||
|
D g-timsta.adb 20140801083227 600a8af5 gnat.time_stamp%b
|
||
|
D interfac.ads 20151118101227 4be8ce1b interfaces%s
|
||
|
D i-c.ads 20110801143639 5421119b interfaces.c%s
|
||
|
D system.ads 20151123113124 2da59038 system%s
|
||
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
||
|
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
|
||
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
||
|
X 3 gnat.ads
|
||
|
34K9*GNAT 37e9 4|34r9 40r5 5|34r14 59r5
|
||
|
X 4 g-timsta.ads
|
||
|
34K14*Time_Stamp 3|34k9 4|40l10 40e20 5|34b19 59l10 59t20
|
||
|
36V13*Current_Time{string} 5|49b13 57l8 57t20
|
||
|
X 5 g-timsta.adb
|
||
|
36A12 time_stamp{7|79A9}<7|60M9> 37r38 50r24
|
||
|
37P9 time_stamp_ptr(36A12) 42r48
|
||
|
42U14 gnat_current_time_string 42>40 43b<c,__gnat_current_time_string>22
|
||
|
. 53s7
|
||
|
42p40 Value{37P9}
|
||
|
50a7 Result{36A12} 53m33 53r33 54m7 56r22
|
||
|
X 6 interfac.ads
|
||
|
38K9*Interfaces 5|32r6 32r24 6|183e15
|
||
|
X 7 i-c.ads
|
||
|
18K20*C 5|32w17 32r35 7|230e17
|
||
|
72E9*char<character>
|
||
|
74e4*nul{72E9} 5|54r22
|
||
|
79A9*char_array(72E9)<60M9> 5|36r26
|
||
|
88V13*To_Ada{string} 5|56s14
|
||
|
|