57 lines
1.6 KiB
Plaintext
57 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_IMPLICIT_CONDITIONALS
|
|
RV NO_LONG_LONG_INTEGERS
|
|
RV NO_DYNAMIC_SIZED_OBJECTS
|
|
RV SPARK_05
|
|
|
|
U system.img_lld%b s-imglld.adb 276453b7 NE OL PK
|
|
W system%s system.ads system.ali
|
|
W system.img_dec%s s-imgdec.adb s-imgdec.ali
|
|
W system.img_lli%s s-imglli.adb s-imglli.ali
|
|
|
|
U system.img_lld%s s-imglld.ads de879951 NE OL PU PK
|
|
W system%s system.ads system.ali
|
|
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-imgdec.ads 20090409150019 ae2d09db system.img_dec%s
|
|
D s-imglld.ads 20090409150019 f3220969 system.img_lld%s
|
|
D s-imglld.adb 20090409150019 7a6b5305 system.img_lld%b
|
|
D s-imglli.ads 20090409150019 114f55d1 system.img_lli%s
|
|
X 1 system.ads
|
|
37K9*System 200e11 3|35r9 67r5 4|32r6 32r26 34r14 82r5
|
|
X 2 s-imgdec.ads
|
|
35K16*Img_Dec 83e19 4|32w13 32r33
|
|
67U14*Set_Decimal_Digits 4|79s7
|
|
X 3 s-imglld.ads
|
|
35K16*Img_LLD 1|37k9 3|67l12 67e19 4|34b21 82l12 82t19
|
|
38U14*Image_Long_Long_Decimal 39>7 40=7 41<7 42>7 4|40b14 60l8 60t31
|
|
39i7 V{long_long_integer} 4|41b7 51r10 59r10
|
|
40a7 S{string} 4|42b7 46r22 52m10 59m13
|
|
41i7 P{natural} 4|43b7 53m10 55m10 59m16
|
|
42i7 Scale{integer} 4|44b7 59r19 59r45
|
|
50U14*Set_Image_Long_Long_Decimal 51>7 52=7 53=7 54>7 55>7 56>7 57>7 4|58s7
|
|
. 66b14 80l8 80t35
|
|
51i7 V{long_long_integer} 4|67b7 75r49
|
|
52a7 S{string} 4|68b7 79m46
|
|
53i7 P{natural} 4|69b7 79m49
|
|
54i7 Scale{integer} 4|70b7 79r52
|
|
55i7 Fore{natural} 4|71b7 79r59
|
|
56i7 Aft{natural} 4|72b7 79r65
|
|
57i7 Exp{natural} 4|73b7 79r70
|
|
X 4 s-imglld.adb
|
|
75a7 Digs{string} 79m27 79r27 79r33
|
|
|