/usr/lib/gcc-cross/arm-linux-gnueabihf/6/adalib/gnatprj/lib-util.ali is in libgnatprj6-dev-armhf-cross 6.4.0-17ubuntu1cross1.
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 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 | V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -march=armv7-a
A -mfloat-abi=hard
A -mfpu=vfpv3-d16
A -mthumb
A -mtls-dialect=gnu
P SS ZX
RN
RV NO_RECURSION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U lib.util%b lib-util.adb c0cf2d30 NE OO PK
W hostparm%s hostparm.ads hostparm.ali
W interfaces%s interfac.ads interfac.ali
W lib%s lib.adb lib.ali
W osint%s osint.adb osint.ali
W osint.c%s osint-c.adb osint-c.ali
W stringt%s stringt.adb stringt.ali
U lib.util%s lib-util.ads 6b18e07c BN EE NE OO PK
W lib%s lib.adb lib.ali
W uintp%s uintp.adb uintp.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads 20150107084147 61013b91 alloc%s
D debug.ads 20151112115918 3ea59655 debug%s
D hostparm.ads 20140801100131 a20ca6cf hostparm%s
D interfac.ads 20151118101227 4be8ce1b interfaces%s
D lib.ads 20150205112239 00c825ec lib%s
D lib-util.ads 20131014125807 98211204 lib.util%s
D lib-util.adb 20140801093848 99dd3d95 lib.util%b
D namet.ads 20151027115429 fa2d8adb namet%s
D namet.adb 20151027115429 d6efdbbb namet%b
D opt.ads 20151123112034 ee330e6c opt%s
D osint.ads 20151026112632 ebea51fe osint%s
D osint-c.ads 20151026114433 d55fa526 osint.c%s
D output.ads 20151112132540 05f6116c output%s
D stringt.ads 20140220134420 b6600148 stringt%s
D stringt.adb 20140220135208 a629aaff stringt%b
D system.ads 20151123113124 2a1dd890 system%s
D s-carun8.ads 20140225151544 a903718d system.compare_array_unsigned_8%s
D s-conca2.ads 20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-memory.ads 20140225151139 597d6634 system.memory%s
D s-os_lib.ads 20151118101046 53e9e388 system.os_lib%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%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
D table.ads 20151020120548 e3a9ec16 table%s
D table.adb 20141107135941 9716557f table%b
D tree_io.ads 20140718093624 6de0ef2c tree_io%s
D types.ads 20151112132540 9edbaea9 types%s
D types.adb 20140801083227 7e6e78d2 types%b
D uintp.ads 20180424120200 f3f1d794 uintp%s
D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s
D widechar.ads 20140801083227 3fd6363b widechar%s
X 7 hostparm.ads
38K9*Hostparm 73e13 11|26w6 32r41
60N4*Max_Name_Length 11|32r50
X 9 lib.ads
40K9*Lib 931e8 10|28r9 90r5 11|30r14 336r5
X 10 lib-util.ads
28K13*Util 9|40k9 10|90l9 90e13 11|30b18 336l9 336t13
32U14*Write_Info_Char 32>31 33r19 11|55b14 60l8 60t23 71s10 76s10 82s10 128s7
. 129s7 136r60 233s7 252s13 255s16 259s13 261s13 265s7 294s13 299s13
32e31 C{character} 11|55b31 58r40
36U14*Write_Info_Char_Code 36>36 11|66b14 86l8 86t28
36m36 Code{37|521M12} 11|66b36 70r10 71r42 75r13 77r40 83r40 84r40
41V13*Write_Info_Col{positive} 11|92b13 95l8 95t22
44U14*Write_Info_EOL 11|101b14 119l8 119t22
49U14*Write_Info_Initiate 49>35 11|136b14
49e35 Key{character} 11|136b35
54U14*Write_Info_Nat 54>30 11|145s10 227b14 230s10 234l8 234t22
54i30 N{37|62I12} 11|227b30 229r10 230r26 233r39
57U14*Write_Info_Int 57>30 11|142b14 153l8 153t22
57i30 N{37|59I9} 11|142b30 144r10 145r26 151r40
61U14*Write_Info_Name 61>31 11|159b14 166l8 166t23 170s7 175s7
61i31 Name{12|180I9} 11|159b31 161r24
62U14*Write_Info_Name 62>31 11|168b14 171l8 171t23
62i31 Name{12|577I9} 11|168b31 170r33
63U14*Write_Info_Name 63>31 11|173b14 176l8 176t23
63i31 Name{12|602I9} 11|173b31 175r33
68U14*Write_Info_Name_May_Be_Quoted 68>45 11|182b14 221l8 221t37
68i45 Name{12|577I9} 11|182b45 187r24
72U14*Write_Info_Slit 72>31 11|240b14 266l8 266t23
72i31 S{37|494I9} 11|240b31 246r36 247r47
75U14*Write_Info_Str 75>30 11|244s7 272b14 278l8 278t22 289s10 333s7
75a30 Val{string} 11|272b30 274r61 275r70 276r44 277r44
78U14*Write_Info_Tab 78>30 11|284b14 302l8 302t22
78i30 Col{positive} 11|284b30 288r10 293r23 298r34
83U14*Write_Info_Terminate 11|104s10 308b14 324l8 324t28
86U14*Write_Info_Uint 86>31 11|151s10 330b14 334l8 334t23
86i31 N{39|48I9} 11|330b31 332r17
X 11 lib-util.adb
32i4 Max_Line{natural} 33r44 103r28
33i4 Max_Buffer{natural} 35r31 103r43
35a4 Info_Buffer{string} 58m7 110r21 116m10 162m7 217m7 274m7 313r18 320r27
38i4 Info_Buffer_Len{natural} 57m7 57r26 58r20 103r10 109r16 110r34 112m13
. 112r32 115m10 115r29 116r23 162r20 162r43 164m7 164r26 217r20 217r43 219m7
. 219r26 274r20 274r43 276m7 276r26 312r13 313r31 315m10 315r29 320r45 322m7
41i4 Info_Buffer_Col{natural} 59m7 59r26 94r14 117m10 165m7 165r26 220m7
. 220r26 277m7 277r26 288r17 292r31 295m13 298r16 323m7
46U14 Write_Info_Hex_Byte 46>35 77s10 83s10 84s10 125b14 130l8 130t27 260s13
46i35 J{natural} 125b35 128r30 129r30
126a7 Hexd(character) 128r24 129r24
183b7 Quoted{boolean} 193m13 200r10
184i7 Cur{positive} 206m10 207r16 208r29 209r49 210m16 210r23 212m16 212r23
191i11 J{integer} 192r26
241e7 C{character} 247m10 249r13 250r21 252r30 254r16 255r33 260r49
246i11 J<integer> 247r50
285i7 Next_Tab{positive} 292m13 293r29 295r32
X 12 namet.ads
152a4*Name_Buffer{string} 11|163r9 192r13 208r16 218r9
158i4*Name_Len{natural} 11|162r61 163r27 164r44 165r44 191r21 207r22 217r61
. 218r27 219r44 220r44
180I9*Name_Id<integer> 10|61r38 11|159r38 170r24 175r24
312U14*Add_Char_To_Name_Buffer 11|202s10
356U14*Get_Name_String 11|161s7 187s7
411U14*Insert_Str_In_Name_Buffer 11|201s10 209s16
577I9*File_Name_Type<180I9> 10|62r38 68r52 11|168r38 182r52
602I9*Unit_Name_Type<180I9> 10|63r38 11|173r38
X 15 osint.ads
44K9*Osint 11|27r6 27r20 15|790e10
X 16 osint-c.ads
29K15*C 11|27w12 27r26 16|206e12
135U14*Write_Library_Info 11|320s7
X 18 stringt.ads
35K9*Stringt 11|28w6 28r20 18|177e12
110V13*String_Length{37|62I12} 11|246s21
113V13*Get_String_Char{37|521M12} 11|247s30
X 20 system.ads
67M9*Address
X 24 s-memory.ads
53V13*Alloc{20|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{20|67M9} 105i<c,__gnat_realloc>22
X 37 types.ads
59I9*Int<integer> 10|57r34 11|142r34
62I12*Nat{59I9} 10|54r34 11|227r34
494I9*String_Id<integer> 10|72r35 11|240r35
518M9*Char_Code_Base
521M12*Char_Code{518M9} 10|36r43 11|66r43
542V13*Get_Character{character} 11|247s15
X 39 uintp.ads
42K9*Uintp 10|26w6 26r17 39|542e10
48I9*Uint<37|59I9> 10|86r35 11|330r35
236V13*UI_From_Int{48I9} 11|151s27
259n28*Decimal{259E9} 11|332r20
265a4*UI_Image_Buffer{string} 11|333r23
266i4*UI_Image_Length{natural} 11|333r45
269U14*UI_Image 11|332s7
|