This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-name_list.ali is in libahven6-dev 2.6-1.2.

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
V "GNAT Lib v7"
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 -fdebug-prefix-map=/build/ahven-f400BO/ahven-2.6=.
A -fstack-protector-strong
A -gnatA
P SL SS ZX

RN
RV NO_ALLOCATORS
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
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 ahven.name_list%b	ahven-name_list.ads	88b390f5 DE NE OO PK
Z ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
Z ada.finalization%s	a-finali.ads		a-finali.ali
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
Z ada.unchecked_deallocation%s
W ahven%s		ahven.adb		ahven.ali
W ahven.astrings%s	ahven-astrings.ads	ahven-astrings.ali
W ahven.slist%s		ahven-slist.adb		ahven-slist.ali  EA
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.stream_attributes%s  s-stratt.adb	s-stratt.ali

U ahven.name_list%s	ahven-name_list.ads	b8bb3f45 DE EB EE OO PK
Z ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
Z ada.finalization%s	a-finali.ads		a-finali.ali
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.astrings%s	ahven-astrings.ads	ahven-astrings.ali
W ahven.slist%s		ahven-slist.adb		ahven-slist.ali  EA
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.stream_attributes%s  s-stratt.adb	s-stratt.ali

D ada.ads		20170106103348 76789da1 ada%s
D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-string.ads		20070406091342 90ac6797 ada.strings%s
D a-strbou.ads		20140731124036 53ab54ae ada.strings.bounded%s
D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads		20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D ahven.ads		20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%s
D ahven-name_list.ads	20160711072733 88b390f5 ahven.name_list%s
D ahven-name_list.ads	20160711072733 88b390f5 ahven.name_list%b
D ahven-slist.ads	20160711072733 664b6dad ahven.slist%s
D ahven-slist.adb	20160711072733 692b646c ahven.slist%b
D interfac.ads		20160502101001 5ab55268 interfaces%s
D system.ads		20170510173650 4635ec04 system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads		20160622104833 597d6634 system.memory%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads		20170112134946 9751b57e 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-stalib.adb		20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb		20140801093848 ed88f8fb system.storage_elements%b
D s-stratt.ads		20131014135145 aedef97e system.stream_attributes%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
X 8 a-strbou.ads
50R12*Bounded_String<10|47R9> 17|23r47[15|19]
X 14 ahven.ads
18K9*Ahven 46e10 17|17r6 18r6 22r9 23r3 23r32
X 15 ahven-astrings.ads
19K15*AStrings[8|46] 17|18w12 23r38
X 17 ahven-name_list.ads
22K15*Name_List[18|21] 14|18k9
X 18 ahven-slist.ads
20+9 Element_Type 17|23r16
21k15*SList 17|17w12 20r29 23r9 18|92e16
X 21 system.ads
67M9*Address
X 24 s-memory.ads
53V13*Alloc{21|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{21|67M9} 105i<c,__gnat_realloc>22
X 30 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22