V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -march=armv8-a
A -mlittle-endian
A -mabi=lp64
P ZX

RN
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS

U system.fat_flt%s	s-fatflt.ads		138c285e NE OL PU PK
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
Z ada.unchecked_conversion%s
W system%s		system.ads		system.ali
W system.fat_gen%s
Z system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali

D ada.ads		20250808065140 76789da1 ada%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D system.ads		20250808065140 d0bef732 system%s
D s-fatflt.ads		20250808065140 11beb392 system.fat_flt%s
D s-fatgen.ads		20250808065140 d28c6cfe system.fat_gen%s
D s-fatgen.adb		20250808065140 6cc1fec9 system.fat_gen%b
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
D s-traent.ads		20250808065140 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250808065140 fa2a7f59 system.unsigned_types%s
G a e
G c Z s s [adjacent system__fat_flt__attr_float 54 13 46_4]
G c Z s s [ceiling system__fat_flt__attr_float 59 13 46_4]
G c Z s s [compose system__fat_flt__attr_float 64 13 46_4]
G c Z s s [copy_sign system__fat_flt__attr_float 68 13 46_4]
G c Z s s [exponent system__fat_flt__attr_float 72 13 46_4]
G c Z s s [floor system__fat_flt__attr_float 75 13 46_4]
G c Z s s [fraction system__fat_flt__attr_float 80 13 46_4]
G c Z s s [leading_part system__fat_flt__attr_float 83 13 46_4]
G c Z s s [machine system__fat_flt__attr_float 89 13 46_4]
G c Z s s [machine_rounding system__fat_flt__attr_float 92 13 46_4]
G c Z s s [model system__fat_flt__attr_float 96 13 46_4]
G c Z s s [pred system__fat_flt__attr_float 105 13 46_4]
G c Z s s [remainder system__fat_flt__attr_float 117 13 46_4]
G c Z s s [rounding system__fat_flt__attr_float 140 13 46_4]
G c Z s s [scaling system__fat_flt__attr_float 147 13 46_4]
G c Z s s [succ system__fat_flt__attr_float 156 13 46_4]
G c Z s s [truncation system__fat_flt__attr_float 168 13 46_4]
G c Z s s [unbiased_rounding system__fat_flt__attr_float 176 13 46_4]
G c Z s s [valid system__fat_flt__attr_float 184 13 46_4]
G c Z s s [decompose system__fat_flt__attr_float 150 14 46_4]
G c Z s s [finite_succ system__fat_flt__attr_float 156 13 46_4]
X 4 system.ads
37K9*System 156e11 5|36r6 38r9 46r30 48r5
X 5 s-fatflt.ads
38K16*Fat_Flt 4|37k9 5|48l12 48e19
46K12*Attr_Float[6|41]
X 6 s-fatgen.ads
41k16*Fat_Gen 5|36w13 46r37 6|216e19