This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_readline/gnatcoll-readline.ali is in libgnatcoll-readline1.7-dev 1.7gpl2015-2+b3.

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
V "GNAT Lib v6"
A -O2
A -O2
A -gnatA
A -fPIC
A -gnatn
A -gnatws
A -gnat05
A -g
A -fdebug-prefix-map=/build/libgnatcoll-Mx_1GJ/libgnatcoll-1.7gpl2015=.
A -fstack-protector-strong
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_DYNAMIC_SIZED_OBJECTS
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 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-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D gnatcoll.ads		20150430105145 6a5da479 gnatcoll%s
D gnatcoll-readline.ads	20150430105146 a5954bcb gnatcoll.readline%s
D gnatcoll-readline.adb	20150430105146 64a4f37d gnatcoll.readline%b
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D i-c.ads		20110801143639 5421119b interfaces.c%s
D i-cstrin.ads		20140611122922 341d0ddf interfaces.c.strings%s
D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads		20151123113124 6326c08a 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-secsta.ads		20140225151139 86a2856d system.secondary_stack%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 10|20r6 225r16
X 6 a-textio.ads
49K13*Text_IO 471e16 10|20w10 225r20
297X4*End_Error 10|225r28
X 8 gnatcoll.ads
24K9*GNATCOLL 26e13 9|38r9 130r5 10|23r14 229r5
X 9 gnatcoll-readline.ads
38K18*Readline 8|24k9 9|129E9 130l14 130e22 10|23b23 229l14 229t22
51R9*Possible_Completions_Array 52r40 129c9
52P9*Possible_Completions(51R9) 59r50 71r38 10|28r41 41r46 63r32 134r50 162r16
. 178r32
54P9*Completion_Entry_Func(string) 55>8 55>23 59r20 10|134r20
55a8 Text{string}
55i23 State{integer}
57V13*Completion_Matches{52P9} 58>8 59>8 10|132b13 169l8 169t26
58a8 Text{string} 10|133b8 136r59 153r49
59p8 Generator{54P9} 10|134b8 153r38
68P9*Completer_Function(52P9) 69>8 70>8 71>8 71>15 95r23 10|83r20 92r22
69a8 Full_Line{string} 10|182r11
70a8 Text{string} 10|183r11
71i8 Start{integer} 10|184r11
71i15 Last{integer} 10|185r11
92U14*Initialize 93>8 94>8 95>8 10|89b14 112l8 112t18
93a8 Appname{string} 10|90b7 96r10 97r42
94a8 History_File{string} 10|91b7 107r10 108r29
95p8 Completer{68P9} 10|92b7 100r10 102r27
104U14*Finalize 104>24 10|118b14 126l8 126t16
104a24 History_File{string} 10|118b24 121r10 122r29
109V13*Get_Line{string} 109>23 10|192b13 227l8 227t16
109a23 Prompt{string} 10|192b23 203r10 204r28
117P9*Ctrl_C_Handler 118r26 124r48
124U14*Install_Ctrl_C_Handler 124>38 125b<c,__gnat_install_int_handler>22
124p38 Handler{117P9}
X 10 gnatcoll-readline.adb
25P9 Rl_Completion_Function(9|52P9) 26>17 27>17 28>17 29r26 78r39
26p17 Text{13|47P9}
27i17 Start{integer}
28i17 Last{integer}
31P9 Rl_Compentry_Func(13|47P9) 32>17 33>17 34r26 41r20
32p17 Text{13|47P9}
33i17 State{integer}
39V13 Rl_Completion_Matches{9|52P9} 40>8 41>8 42b<c,rl_completion_matches>22
. 165s17
40p8 Text{13|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{13|47P9}
56U14 Write_History 56>29 57b<c,write_history>22 123s10
56p29 Filename{13|47P9}
60V13 C_Completer{9|52P9} 61>8 62>8 63>8 64r26 101r46 175b13 186l8 186t19
61p8 Text{13|47P9} 176b8 183r31
62i8 Start{integer} 177b8 184r24
63i8 Last{integer} 178b8 185r24
71p4 Rl_Line_Buffer{13|47P9} 72m22 72r22 182r31
75p4 Rl_Readline_Name{13|47P9} 76m22 76r22 97m10
78p4 Rl_Attempted_Completion_Function{25P9} 79m22 79r22 101m10
83p4 Ada_Completer{9|68P9} 102m10 181r14
94p7 Tmp{13|47P9} 108m10 109r24 110m16 110r16
119p7 Tmp{13|47P9} 122m10 123r25 124m16 124r16
136p7 Txt{13|47P9} 166r10 167m13 167r13
138V16 Completion_Generator{13|47P9} 139>11 140>11 141r29 148b16 160l11 160t31
. 166r15
139p11 Txt{13|47P9} 149b11 152r31
140i11 State{integer} 150b11 153r55
153a10 Choice{string} 155r13 158r32
162p7 Result{9|52P9} 165m7 168r14
194V16*Readline{13|47P9} 194>26 195b<c,readline>25 205s20 209s20
194p26 Prompt{13|47P9}
197U17*Add_History 197>30 198b<c,add_history>25 217s16
197p30 Str{13|47P9}
200p7 Pr{13|47P9} 204m10 205r30 206m16 206r16
201p7 Result{13|47P9} 205m10 209m10 212r10 214r45 217r29 220m19 220r19
214a13 Val{string} 216r16 221r20
X 11 interfac.ads
38K9*Interfaces 10|21r6 21r33 26r25 32r25 61r16 75r23 136r13 139r17 149r19
. 176r16 11|183e15
X 12 i-c.ads
18K20*C 10|21r17 21r44 26r36 32r36 61r27 75r34 136r24 139r28 149r30 176r27
. 12|230e17
X 13 i-cstrin.ads
36K22*Strings 10|21w19 21r46 26r38 32r38 61r29 75r36 136r26 139r30 149r32
. 176r29 13|106e25
47P9*chars_ptr 10|26r46 32r46 33r41 40r20 52r39 56r40 61r37 71r21 75r44 94r13
. 119r13 136r34 139r38 140r35 149r40 150r35 176r37 194r35 194r53 197r36 200r16
. 201r16
52p4*Null_Ptr{47P9} 10|156r20 209r30 212r20
60V13*New_String{47P9} 10|97s30 108s17 122s17 136s47 158s20 204s16
62U14*Free 10|110s10 124s10 167s7 206s10 220s13
74V13*Value{string} 10|182s24 183s24 214s38