62 lines
1.7 KiB
Plaintext
62 lines
1.7 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_DYNAMIC_SIZED_OBJECTS
|
|
RV NO_OBSOLESCENT_FEATURES
|
|
RV SPARK_05
|
|
|
|
U system.io%b s-io.adb d7aac20c NE OL PK
|
|
W system%s system.ads system.ali
|
|
|
|
U system.io%s s-io.ads b3e76777 BN NE OL PR PK
|
|
W system%s system.ads system.ali
|
|
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-io.ads 20090409150019 9e42f74f system.io%s
|
|
D s-io.adb 20090409150019 49e83543 system.io%b
|
|
X 1 system.ads
|
|
37K9*System 200e11 2|37r9 64r5 3|32r14 129r5
|
|
X 2 s-io.ads
|
|
37K16*IO 1|37k9 2|58E9 64l12 64e14 3|32b21 129l12 129t14
|
|
40U14*Put 40>19 3|53b14 67l8 67t11
|
|
40i19 X{integer} 3|53b19 63r22 65r26
|
|
42U14*Put 42>19 3|45s10 69b14 83l8 83t11 88s10
|
|
42e19 C{character} 3|69b19 79r23 81r30
|
|
44U14*Put 44>19 3|85b14 90l8 90t11 98s7
|
|
44a19 S{string} 3|85b19 87r16 88r15
|
|
45U14*Put_Line 45>24 3|96b14 100l8 100t16
|
|
45a24 S{string} 3|96b24 98r12
|
|
47U14*New_Line 47>24 3|42b14 47l8 47t16 99s7
|
|
47i24 Spacing{positive} 3|42b24 44r21
|
|
49E9*File_Type 51r35 52r36 54r33 58c9 58e38 3|34r18 106r36 115r35 124r33
|
|
51V13*Standard_Error{49E9} 61r19 3|115b13 118l8 118t22
|
|
52V13*Standard_Output{49E9} 62r19 3|106b13 109l8 109t23
|
|
54U14*Set_Output 54>26 3|124b14 127l8 127t18
|
|
54e26 File{49E9} 3|124b26 126r22
|
|
58n23 Stdout{49E9} 3|34r31 62r15 78r15 108r14
|
|
58n31 Stderr{49E9} 3|64r15 80r15 117r14
|
|
X 3 s-io.adb
|
|
34e4 Current_Out{2|49E9} 35r19 61r12 77r12 126m7
|
|
44i11 J{integer}
|
|
54U17*Put_Int 54>26 55b<c,put_int>25 63s13
|
|
54i26 X{integer}
|
|
57U17*Put_Int_Err 57>30 58b<c,put_int_stderr>25 65s13
|
|
57i30 X{integer}
|
|
70U17*Put_Char 70>27 71b<c,put_char>25 79s13
|
|
70e27 C{character}
|
|
73U17*Put_Char_Stderr 73>34 74b<c,put_char_stderr>25 81s13
|
|
73e34 C{character}
|
|
87i11 J{integer} 88r18
|
|
|