This file is indexed.

/usr/lib/ada/adalib/ahven/ahven-astrings.ali is in libahven5-dev 2.6-1.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
V "GNAT Lib v6"
A -O2
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -fstack-protector-strong
A -gnatA
P SL SS ZX

RN
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ahven.astrings%b	ahven-astrings.ads	1b9f3e2c DE NE OO PK
W ada%s			ada.ads			ada.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.bounded%s	a-strbou.adb		a-strbou.ali
W ahven%s		ahven.adb		ahven.ali
W interfaces%s		interfac.ads		interfac.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U ahven.astrings%s	ahven-astrings.ads	05e896b3 DE EB NE OO PK
W ada%s			ada.ads			ada.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.bounded%s	a-strbou.adb		a-strbou.ali
W ahven%s		ahven.adb		ahven.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
D a-string.ads		20070406091342 90ac6797 ada.strings%s
D a-strbou.ads		20140731124036 53ab54ae ada.strings.bounded%s
D a-strbou.adb		20090409150019 adb4aa70 ada.strings.bounded%b
D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads		20120309145048 a27dcb33 ada.strings.superbounded%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D ahven.ads		20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%b
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D system.ads		20151123113124 6326c08a system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%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-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 19e8 12|17r6 20r7
X 4 a-string.ads
16K13*Strings 35e16 12|17r10 20r11
X 5 a-strbou.ads
39K21*Bounded 914e24 12|17w18 20r19
43i7 Max{positive} 12|20r51
46k12*Generic_Bounded_Length 912e30 12|20r27
X 10 ahven.ads
18K9*Ahven 46e10 12|19r9
19N4*Max_String_Len 12|20r58
X 12 ahven-astrings.ads
19K15*AStrings[5|46] 10|18k9