/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-text_feeder-text_io.ali is in libopentoken4-dev 5.0a-1.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX
RN
RV NO_ALLOCATORS
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken.text_feeder.text_io%b opentoken-text_feeder-text_io.adb 0c8933ae NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W interfaces%s interfac.ads interfac.ali
W opentoken.text_feeder%s opentoken-text_feeder.ads opentoken-text_feeder.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.storage_pools%s s-stopoo.adb s-stopoo.ali
W system.storage_pools.subpools%s s-stposu.adb s-stposu.ali
U opentoken.text_feeder.text_io%s opentoken-text_feeder-text_io.ads ab0a10dd EE OO PF PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.text_io%s a-textio.adb a-textio.ali
W opentoken.text_feeder%s opentoken-text_feeder.ads opentoken-text_feeder.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20140225151544 66457d31
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-string.ads 20070406091342 90ac6797
D a-strbou.ads 20101008130255 9806fe84
D a-strbou.adb 20090409150019 adb4aa70
D a-strmap.ads 20090409150019 9cb836fb
D a-strsup.ads 20120309145048 a27dcb33
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D opentoken.ads 20140221201457 fc81ed4c
D opentoken-text_feeder.ads 20140221201457 6fb472c4
D opentoken-text_feeder-text_io.ads 20140221201457 fcd397cd
D opentoken-text_feeder-text_io.adb 20140221201457 f05aa463
D system.ads 20140424202341 90249111
D s-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-fatflt.ads 20090409150019 11beb392
D s-fatgen.ads 20140129155348 9267ca45
D s-fatgen.adb 20140129155348 9ba81cee
D s-fatlfl.ads 20090409150019 378cba9f
D s-fatllf.ads 20090409150019 4d5c1475
D s-fatsfl.ads 20090409150019 e2f873d3
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-secsta.ads 20140225151139 86a2856d
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-stposu.ads 20121005142121 ffeba1c5
D s-stratt.ads 20131014135145 aedef97e
D s-stratt.adb 20090409150019 56ef263e
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 20|27r6 52r35 53r35 78r18 78r45 21|30r32 35r35 47r7 55r13 63r9
. 71r36
X 14 a-textio.ads
49K13*Text_IO 471e16 20|27w10 52r39 53r39 78r22 78r49 21|30r36 35r39 47r11
. 55r17 63r13 71r40
52P9*File_Type
125P9*File_Access(52P9) 20|52r47 53r47 78r30 21|30r44 35r47
131V13*Current_Input{125P9} 20|78s57
183V13*End_Of_File{boolean} 21|55s25 71s48
244U14*Get_Line 21|47s19
245p7 File{52P9} 21|47r29
246s7 Item{string} 21|48r29
247i7 Last{natural} 21|49r29
297X4*End_Error 21|63r21
X 18 opentoken.ads
42K9*OpenToken 78e14 20|40r9 44r25 77r25 82r5 21|28r14 74r5
56e4*EOL_Character{character} 21|59r36
59e4*EOF_Character{character} 21|56r36 65r36
X 19 opentoken-text_feeder.ads
32K19*Text_Feeder 18|42k9 19|63e26 20|40r19 44r35 77r35 82r15 21|28r24 74r15
34H9*Instance 34e48 20|44r47 77r47
35P9*Text_Feeder_Ptr(34R9) 20|53r67 21|35r67
X 20 opentoken-text_feeder-text_io.ads
40K31*Text_IO 19|32k19 20|75E4 82l27 82e34 21|28b36 74l27 74t34
44R9*Instance<19|34R9> 52p13 52r67 63P25 64r25 72P24 72r49 77c9 80e14 21|30r64
. 37r18 41r25 69r46
52V13*Create{44R9} 52>21 21|30b13 33l8 33t14 37s28
52p21 File_Ptr{14|125P9} 21|30b21 32r15
53V13*Create{19|35P9} 53>21 21|35b13 38l8 38t14
53p21 File_Ptr{14|125P9} 21|35b21 37r36
63U25*Get<19|54p14> 64=7 65<7 66<7 21|40b25 67l8 67t11
64r7 Feeder{44R9} 21|41b7 47r37 51m7 55r38 57m13 66m7
65s7 New_Text{string} 21|42b7 48m37 52r21 56m13 59m13 64r19 65m7 65r17
66i7 Text_End{integer} 21|43b7 49m37 52r10 54m10 54r22 56r23 59r23 64m7
72V24*End_Of_Text{boolean}<19|61p13> 72>37 21|69b24 72l8 72t19
72r37 Feeder{44R9} 21|69b37 71r14 71r61
75e4 Nothing{character}
78p7 File{14|125P9} 21|47r44 55r45 71r68
79b7 Ended{boolean} 21|51m14 57m20 66m14 71r21
|