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_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_IO
RV NO_DYNAMIC_SIZED_OBJECTS
RV SPARK_05

U ada.text_io.float_io%b  a-tiflio.adb		6b59f9d4 NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ada.text_io.float_aux%s  a-tiflau.adb		a-tiflau.ali

U ada.text_io.float_io%s  a-tiflio.ads		6e962fdd BN NE OL PK GE
W ada.text_io%s		a-textio.adb		a-textio.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-ioexce.ads		20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-textio.ads		20140717063745 386df5d4 ada.text_io%s
D a-tiflau.ads		20090409150019 c0393f21 ada.text_io.float_aux%s
D a-tiflio.ads		20140717063513 56fbda09 ada.text_io.float_io%s
D a-tiflio.adb		20090409150019 fd9b1cfc ada.text_io.float_io%b
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads		20151123113124 2da59038 system%s
D s-crtl.ads		20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-ficobl.ads		20140718105747 078245e4 system.file_control_block%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 19e8 8|46r9 89r5 9|32r6 34r14 36r24 145r5
X 6 a-textio.ads
49K13*Text_IO 1|16k9 6|471e16 8|46r13 89r9 9|32r10 34r18 36r28 145r9
52P9*File_Type 8|53r15 62r14 9|43r15 115r14
73I12*Field{integer} 8|48r19 49r19 50r19 55r15 59r15 64r14 65r14 66r14 70r14
. 71r14 72r14 82r14 83r14 9|45r15 67r15 117r14 118r14 119r14 127r14 128r14
. 129r14 138r14 139r14
298X4*Data_Error 9|58r16 62r38 80r16 84r38 103r16 107r38
455p4 Current_In{52P9} 9|72r16
456p4 Current_Out{52P9} 9|132r16
X 7 a-tiflau.ads
40K29*Float_Aux 72e26 9|32w18 36r36
49U14*Get 9|50s11 72s11
54U14*Put 9|122s11 132s11
61U14*Gets 9|95s11
66U14*Puts 9|142s11
X 8 a-tiflio.ads
44F9 Num 49r28 54r19 58r19 63r14 69r14 76r18 81r14 9|44r19 66r19 89r18 116r14
. 126r14 137r14
46k21*Float_IO 6|49k13 8|44z9 89l17 89e25 9|34b26 145l17 145t25
48i4*Default_Fore{6|73I12} 64r23 70r23 9|117r23 127r23
49i4*Default_Aft{6|73I12} 65r23 71r23 82r23 9|118r23 128r23 138r23
50i4*Default_Exp{6|73I12} 66r23 72r23 83r23 9|119r23 129r23 139r23
52U14*Get 53>7 54<7 55>7 9|42b14 63l8 63t11
53p7 File{6|52P9} 9|43b7 50r16
54*7 Item{44F9} 9|44b7 50m39 50r39 57r14
55i7 Width{6|73I12} 9|45b7 50r46
57U14*Get 58<7 59>7 9|65b14 85l8 85t11
58*7 Item{44F9} 9|66b7 72m45 72r45 79r14
59i7 Width{6|73I12} 9|67b7 72r52
61U14*Put 62>7 63>7 64>7 65>7 66>7 9|114b14 123l8 123t11
62p7 File{6|52P9} 9|115b7 122r16
63*7 Item{44F9} 9|116b7 122r39
64i7 Fore{6|73I12} 9|117b7 122r46
65i7 Aft{6|73I12} 9|118b7 122r52
66i7 Exp{6|73I12} 9|119b7 122r57
68U14*Put 69>7 70>7 71>7 72>7 9|125b14 133l8 133t11
69*7 Item{44F9} 9|126b7 132r46
70i7 Fore{6|73I12} 9|127b7 132r53
71i7 Aft{6|73I12} 9|128b7 132r59
72i7 Exp{6|73I12} 9|129b7 132r64
74U14*Get 75>7 76<7 77<7 9|87b14 108l8 108t11
75a7 From{string} 9|88b7 95r17
76*7 Item{44F9} 9|89b7 95m40 95r40 102r14
77i7 Last{positive} 9|90b7 95m47
79U14*Put 80<7 81>7 82>7 83>7 9|135b14 143l8 143t11
80a7 To{string} 9|136b7 142m17
81*7 Item{44F9} 9|137b7 142r38
82i7 Aft{6|73I12} 9|138b7 142r45
83i7 Exp{6|73I12} 9|139b7 142r50
X 9 a-tiflio.adb
36K12 Aux=36:36 50r7 72r7 95r7 122r7 132r7 142r7