54 lines
1.3 KiB
Plaintext
54 lines
1.3 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 SPARK_05
|
||
|
|
|
||
|
|
U gnat.case_util%b g-casuti.adb d37ed4a2 NE OL PK
|
||
|
|
W gnat%s gnat.ads gnat.ali
|
||
|
|
|
||
|
|
U gnat.case_util%s g-casuti.ads d6115050 EB NE OL PU PK
|
||
|
|
W gnat%s gnat.ads gnat.ali
|
||
|
|
W system%s system.ads system.ali
|
||
|
|
W system.case_util%s s-casuti.adb s-casuti.ali
|
||
|
|
|
||
|
|
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
|
||
|
|
D g-casuti.ads 20110801150502 0f32eb76 gnat.case_util%s
|
||
|
|
D g-casuti.adb 20110801150502 dc4c3fd4 gnat.case_util%b
|
||
|
|
D system.ads 20151123113124 2da59038 system%s
|
||
|
|
D s-casuti.ads 20140225151544 240969d7 system.case_util%s
|
||
|
|
X 1 gnat.ads
|
||
|
|
34K9*GNAT 37e9 2|43r9 77r5 3|37r14 38r5
|
||
|
|
X 2 g-casuti.ads
|
||
|
|
43K14*Case_Util 1|34k9 2|77l10 77e19 3|37b19 38l10 38t19
|
||
|
|
53V13*To_Upper=54:31{character}
|
||
|
|
53e23 A{character}
|
||
|
|
58U14*To_Upper=59:31
|
||
|
|
58a24 A{string}
|
||
|
|
62V13*To_Lower=63:31{character}
|
||
|
|
62e23 A{character}
|
||
|
|
67U14*To_Lower=68:31
|
||
|
|
67a24 A{string}
|
||
|
|
71U14*To_Mixed=72:31
|
||
|
|
71a24 A{string}
|
||
|
|
X 4 system.ads
|
||
|
|
37K9*System 2|41r6 54r14 59r14 63r14 68r14 72r14 4|200e11
|
||
|
|
X 5 s-casuti.ads
|
||
|
|
42K16*Case_Util 2|41w13 54r21 59r21 63r21 68r21 72r21 5|66e21
|
||
|
|
47V13*To_Upper{character} 2|54r31
|
||
|
|
51U14*To_Upper 2|59r31
|
||
|
|
54V13*To_Lower{character} 2|63r31
|
||
|
|
58U14*To_Lower 2|68r31
|
||
|
|
61U14*To_Mixed 2|72r31
|
||
|
|
|