This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_readline/gnatcoll-readline.ali is in libgnatcoll-readline1.6-dev 1.6gpl2014-6.

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
V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_EXCEPTIONS
RV NO_IO
RV NO_IMPLICIT_DYNAMIC_CODE
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U gnatcoll.readline%b	gnatcoll-readline.adb	cd4140bd NE OO PK IU
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W interfaces.c.strings%s  i-cstrin.adb		i-cstrin.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U gnatcoll.readline%s	gnatcoll-readline.ads	cfc8efb2 EE NE OO PK IU
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali

D ada.ads		20070406091342 3ffc8e18
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-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D gnatcoll.ads		20140810010057 6a5da479
D gnatcoll-readline.ads	20140810010057 a5954bcb
D gnatcoll-readline.adb	20140810010057 64a4f37d
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D i-cstrin.ads		20130104124955 341d0ddf
D i-cstrea.ads		20130412125801 8128536b
D system.ads		20140921225607 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
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-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 11|20r6 218r16
X 7 a-textio.ads
49K13*Text_IO 471e16 11|20w10 218r20
297X4*End_Error 11|218r28
X 9 gnatcoll.ads
24K9*GNATCOLL 26e13 10|38r9 131r5 11|23r14 222r5
X 10 gnatcoll-readline.ads
38K18*Readline 9|24k9 10|130E9 131l14 131e22 11|23b23 222l14 222t22
51R9*Possible_Completions_Array 52r40 130c9
52P9*Possible_Completions(51R9) 60r15 72r38 11|28r41 41r46 63r32 135r14 159r16
. 174r32
54P9*Completion_Entry_Func(string) 55>8 55>23 59r20 11|134r20
55s8 Text{string}
55i23 State{integer}
57V13*Completion_Matches{52P9} 58>8 59>8 11|132b13 165l8 165t26
58s8 Text{string} 11|133b8 137r59 150r49
59p8 Generator{54P9} 11|134b8 150r38
69P9*Completer_Function(52P9) 70>8 71>8 72>8 72>15 96r23 11|83r20 92r22
70s8 Full_Line{string} 11|178r11
71s8 Text{string} 11|179r11
72i8 Start{integer} 11|180r11
72i15 Last{integer} 11|181r11
93U14*Initialize 94>8 95>8 96>8 11|89b14 112l8 112t18
94s8 Appname{string} 11|90b7 96r10 97r42
95s8 History_File{string} 11|91b7 107r10 108r29
96p8 Completer{69P9} 11|92b7 100r10 102r27
105U14*Finalize 105>24 11|118b14 126l8 126t16
105s24 History_File{string} 11|118b24 121r10 122r29
110V13*Get_Line{string} 110>23 11|188b13 220l8 220t16
110s23 Prompt{string} 11|188b23 198r10 199r28
118P9*Ctrl_C_Handler 119r26 125r48
125U14*Install_Ctrl_C_Handler 125>38 126b<c,__gnat_install_int_handler>22
125p38 Handler{118P9}
X 11 gnatcoll-readline.adb
25P9 Rl_Completion_Function(10|52P9) 26>17 27>17 28>17 29r26 78r39
26p17 Text{14|47P9}
27i17 Start{integer}
28i17 Last{integer}
31P9 Rl_Compentry_Func(14|47P9) 32>17 33>17 34r26 41r20
32p17 Text{14|47P9}
33i17 State{integer}
39V13 Rl_Completion_Matches{10|52P9} 40>8 41>8 42b<c,rl_completion_matches>22
. 161s17
40p8 Text{14|47P9}
41p8 Generator{31P9}
48U14 Using_History 49b<c,using_history>22 105s7
52U14 Read_History 52>28 53b<c,read_history>22 109s10
52p28 filename{14|47P9}
56U14 Write_History 56>29 57b<c,write_history>22 123s10
56p29 Filename{14|47P9}
60V13 C_Completer{10|52P9} 61>8 62>8 63>8 64r26 101r46 171b13 182l8 182t19
61p8 Text{14|47P9} 172b8 179r31
62i8 Start{integer} 173b8 180r24
63i8 Last{integer} 174b8 181r24
71p4 Rl_Line_Buffer{14|47P9} 72m22 72r22 178r31
75p4 Rl_Readline_Name{14|47P9} 76m22 76r22 97m10
78p4 Rl_Attempted_Completion_Function{25P9} 79m22 79r22 101m10
83p4 Ada_Completer{10|69P9} 102m10 177r14
94p7 Tmp{14|47P9} 108m10 109r24 110m16 110r16
119p7 Tmp{14|47P9} 122m10 123r25 124m16 124r16
137p7 Txt{14|47P9} 162r10 163m13 163r13
139V16 Completion_Generator{14|47P9} 140>11 141>11 142r29 145b16 157l11 157t31
. 162r15
140p11 Txt{14|47P9} 146b11 149r31
141i11 State{integer} 147b11 150r55
150a10 Choice{string} 152r13 155r32
159p7 Result{10|52P9} 161m7 164r14
189V16*Readline{14|47P9} 189>26 190b<c,readline>25 200s20 203s20
189p26 Prompt{14|47P9}
192U17*Add_History 192>30 193b<c,add_history>25 211s16
192p30 Str{14|47P9}
195p7 Pr{14|47P9} 199m10 200r30 201m16 201r16
196p7 Result{14|47P9} 200m10 203m10 206r10 208r45 211r29 214m19 214r19
208a13 Val{string} 210r16 215r20
X 12 interfac.ads
38K9*Interfaces 11|21r6 21r33 26r25 32r24 61r16 75r23 137r13 140r17 146r17
. 172r16 12|179e15
X 13 i-c.ads
18K20*C 11|21r17 21r44 26r36 32r35 61r27 75r34 137r24 140r28 146r28 172r27
. 13|230e17
X 14 i-cstrin.ads
36K22*Strings 11|21w19 21r46 26r38 32r37 61r29 75r36 137r26 140r30 146r30
. 172r29 14|104e25
47P9*chars_ptr 11|26r46 32r45 33r41 40r15 52r39 56r40 61r37 71r21 75r44 94r13
. 119r13 137r34 140r38 141r35 146r38 147r35 172r37 189r35 189r53 192r36 195r12
. 196r16
52p4*Null_Ptr{47P9} 11|153r20 203r30 206r20
60V13*New_String{47P9} 11|97s30 108s17 122s17 137s47 155s20 199s16
62U14*Free 11|110s10 124s10 163s7 201s10 214s13
72V13*Value{string} 11|178s24 179s24 208s38