This file is indexed.

/usr/lib/gcc-cross/arm-linux-gnueabihf/5/adalib/gnatprj/mlib-tgt-specific.ali is in libgnatprj5-dev-armhf-cross 5.5.0-12ubuntu1cross1.

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
169
170
171
172
173
174
175
176
177
178
179
V "GNAT Lib v5"
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_ALLOCATORS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U mlib.tgt.specific%b	mlib-tgt-specific.adb	83b6013d OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W interfaces%s		interfac.ads		interfac.ali
W mlib%s		mlib.adb		mlib.ali
W mlib.fil%s		mlib-fil.adb		mlib-fil.ali
W mlib.tgt%s		mlib-tgt.adb		mlib-tgt.ali
W mlib.utl%s		mlib-utl.adb		mlib-utl.ali
W opt%s			opt.adb			opt.ali
W output%s		output.adb		output.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U mlib.tgt.specific%s	mlib-tgt-specific.ads	e33e05ed EB EE NE OO PK
W mlib.tgt%s		mlib-tgt.adb		mlib-tgt.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20140730140058 5250cb69 ada.exceptions%s
D a-finali.ads		20140611123707 69f99942 ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20140730140058 dc4d0634 ada.tags%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 casing.ads		20140717063745 5c2a7161 casing%s
D debug.ads		20090420131856 3ea59655 debug%s
D gnat.ads		20140801083227 fd2ad2f1 gnat%s
D g-dynhta.ads		20141031105956 97389d1d gnat.dynamic_htables%s
D g-dyntab.ads		20140225151544 07ce153b gnat.dynamic_tables%s
D g-dyntab.adb		20140521105248 008c9b78 gnat.dynamic_tables%b
D g-hesorg.ads		20110801150502 106922da gnat.heap_sort_g%s
D g-os_lib.ads		20090409150019 0db74523 gnat.os_lib%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D interfac.ads		20141120112812 6033a23f interfaces%s
D mlib.ads		20140801081720 f0a445cd mlib%s
D mlib-fil.ads		20070910124710 53d71d7c mlib.fil%s
D mlib-tgt.ads		20140801094828 3eb001ae mlib.tgt%s
D mlib-tgt-specific.ads	20070910124710 dd8e0443 mlib.tgt.specific%s
D mlib-tgt-specific.adb	20180422034016 7b42bcf3 mlib.tgt.specific%b
D mlib-utl.ads		20080801090311 bed12a2c mlib.utl%s
D namet.ads		20150302110329 53fa811d namet%s
D opt.ads		20150302110329 e5e8f770 opt%s
D osint.ads		20140804124756 38aa0095 osint%s
D output.ads		20140801093848 2d9479ad output%s
D prj.ads		20150107084942 367480b7 prj%s
D scans.ads		20140731100213 8f94e6cc scans%s
D system.ads		20141030114420 bb029e6a system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finmas.ads		20140225151139 814daec4 system.finalization_masters%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20110804083314 542f33d0 system.pool_global%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-soflin.ads		20140801100131 aa763b52 system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%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		20090506081141 e3a9ec16 table%s
D table.adb		20141107135941 9716557f table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20150130153101 63969ace types%s
D uintp.ads		20180422034016 f3f1d794 uintp%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
D urealp.ads		20130411125352 e500ee51 urealp%s
X 19 mlib.ads
34K9*MLib 95e9 22|32r9 34r5 23|29r6 30r6 34r14 36r8 198r5
69U14*Create_Sym_Links 23|168s16
80V13*Major_Id_Name{string} 23|136s29
X 20 mlib-fil.ads
28K14*Fil 52e13 23|29w11 76r28
35V13*Append_To{string} 23|76s32
X 21 mlib-tgt.ads
34K14*Tgt 19|34k9 21|270e13 22|32r14 34r10 23|34r19 198r10
82V13*DLL_Ext{string} 23|76s57
167P9 Is_Ext_Function(boolean)
171P9 Build_Dynamic_Library_Function
190P9 Boolean_Function(boolean)
218p4 Build_Dynamic_Library_Ptr{171P9} 23|194m4
236p4 Is_Archive_Ext_Ptr{167P9} 23|195m4
268p4 Library_Major_Minor_Id_Supported_Ptr{190P9} 23|196m4
X 22 mlib-tgt-specific.ads
32K18*Specific 21|34k14 22|34l14 34e22 23|34b23 198l14 198t22
X 23 mlib-tgt-specific.adb
40U14 Build_Dynamic_Library 41>7 42>7 43>7 44>7 45>7 46>7 47>7 48>7 49>7
. 59b14 173l8 173t29 194r33
41a7 Ofiles{37|701A12} 60b7 128r28 148r34 158r34
42a7 Options{37|701A12} 61b7 84r39 89r44
43a7 Interfaces{37|701A12} 62b7 70r28
44a7 Lib_Filename{string} 63b7 76r43
45a7 Lib_Dir{string} 64b7 79r20 157r34 164r18 169r42
46r7 Symbol_Data{29|958R9} 65b7 71r28
47i7 Driver_Name{25|179I9} 66b7 130r28 151r34 161r34
48a7 Lib_Version{string} 67b7 125r10 136r54 142r60 145r34 147r34 153r40 157r66
. 164r50 169r29
49b7 Auto_Init{boolean} 68b7 72r28
51V13 Is_Archive_Ext{boolean} 51>29 179b13 182l8 182t22 195r26
51a29 Ext{string} 179b29 181r14 181r33
53V13 Library_Major_Minor_Id_Supported{boolean} 188b13 191l8 191t40 197r33
75a7 Lib_File=76:26{string} 79r52 136r44
78a7 Lib_Path=79:50{string} 97r22 127r28 153r55 164r65 169r19
81p7 Version_Arg{37|70P12} 139m16 142m16 150r36 160r36
82b7 Symbolic_Link_Needed{boolean} 153m16 163m16 167r16
84a7 N_Options{37|701A12} 85r33 103r29 108r20 115m16 116r18 129r28 129r39
. 149r34 149r45 159r34 159r45
85i7 Options_Last{natural} 107r25 115r36 116r42 117m16 117r32 129r58 149r64
. 159r64
89a7 Real_Options_2{37|701A12} 114m16 131r28 152r34 162r34
90i7 Real_Options_2_Last{natural} 113m16 113r39 114r32 131r49 152r55 162r55
103i10 Index{natural} 107r16 108r31 115r27 116r29 120m16 120r25
104p10 Arg{37|70P12} 108m13 110r16 111r24 111r29 111r42 114r56
135a13 Maj_Version{string} 138r16 139r60 169r51
X 24 mlib-utl.ads
29K14*Utl 23|30w11 126r10 146r16 156r16 24|67e13
35U14*Gcc 23|126s14 146s20 156s20
36a7 Output_File{string} 23|127r13 147r19 157r19
37a7 Objects{37|701A12} 23|128r13 148r19 158r19
38a7 Options{37|701A12} 23|129r13 149r19 159r19
39a7 Options_2{37|701A12} 23|131r13 152r19 162r19
40i7 Driver_Name{25|179I9} 23|130r13 151r19 161r19
X 25 namet.ads
179I9*Name_Id<integer> 23|47r22 66r22
183i4*No_Name{179I9} 23|47r33 66r33
X 26 opt.ads
50K9*Opt 23|31w6 95r10 26|2285e8
1590b4*Verbose_Mode{boolean} 23|95r14
X 28 output.ads
44K9*Output 23|32w6 32r18 28|227e11
130U14*Write_Str 23|96s10
137U14*Write_Line 23|97s10
X 29 prj.ads
958R9*Symbol_Record 23|46r22 65r22 29|962e14
X 31 system.ads
67M9*Address
X 36 s-memory.ads
53V13*Alloc{31|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{31|67M9} 105i<c,__gnat_realloc>22
X 37 s-os_lib.ads
70P12*String_Access{46|45P9} 23|81r30 104r18
77A12*String_List{46|54A9}<integer>
86V14*"&"=87:41{46|54A9} 23|150r34 160r34
499V13*Is_Absolute_Path{boolean} 23|145s16
701A12*Argument_List{77A12}<integer> 23|41r22 42r22 43r22 60r22 61r22 62r22
. 84r22 89r24
1019e4*Directory_Separator{character} 23|79r30 157r44 164r28
X 46 s-string.ads
45P9*String_Access(string)
54A9*String_List(45P9)<integer>