This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-temporary_output.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
131
132
133
134
135
136
137
138
139
140
141
142
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_EXCEPTIONS
RV NO_IO
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U ahven.temporary_output%b  ahven-temporary_output.adb  9774393c DE NE OO PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.fixed%s	a-strfix.adb		a-strfix.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ahven%s		ahven.adb		ahven.ali
W interfaces%s		interfac.ads		interfac.ali
W system.img_lli%s	s-imglli.adb		s-imglli.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U ahven.temporary_output%s  ahven-temporary_output.ads  a5b8280b DE EE OO PK
W ada%s			ada.ads			ada.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.astrings%s	ahven-astrings.ads	ahven-astrings.ali
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.standard_library%s  s-stalib.adb	s-stalib.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-ioexce.ads		20140225151544 e4a01f64 ada.io_exceptions%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-strfix.ads		20101008130255 d07c346e ada.strings.fixed%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-textio.ads		20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D ahven.ads		20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%s
D ahven-temporary_output.ads  20160711072733 cb961fc2 ahven.temporary_output%s
D ahven-temporary_output.adb  20160711072733 8c9e1290 ahven.temporary_output%b
D interfac.ads		20160502101001 5ab55268 interfaces%s
D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads		20170510173650 4635ec04 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-imglli.ads		20090409150019 114f55d1 system.img_lli%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-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 20e8 17|17r6 47r16 18|16r6 20r8 26r50 36r7 36r40 46r7 47r7 52r7
. 53r7 53r31 58r14 59r10 59r41 62r7 67r7
X 7 a-string.ads
16K13*Strings 35e16 18|16r10 20r12 26r54
33n37*Both{33E9} 18|26r62
X 8 a-strbou.ads
50R12*Bounded_String<11|47R9> 17|46r25[16|19]
63V16*To_Bounded_String{50R12[16|19]} 18|34s20[16|19]
67V16*To_String{string} 18|41s14[16|19] 60s28[16|19]
X 9 a-strfix.ads
18K21*Fixed 251e22 18|16w18 20r20
195V13*Trim{string} 18|26s9
X 13 a-textio.ads
49K13*Text_IO 471e16 17|17w10 47r20 18|36r11 36r44 46r11 47r11 52r11 53r11
. 53r35 58r18 59r14 59r45 62r11 67r11
52P9*File_Type 17|47r28
53n32*Out_File{53E9} 18|36r52 59r53
86U14*Create 18|36s19
92U14*Open 18|59s22
98U14*Close 18|67s19
99U14*Delete 18|62s19
107V13*Is_Open{boolean} 18|58s26
114U14*Set_Output 18|47s19 53s19
118V13*Standard_Output{52P9} 18|53s43
143U14*Flush 18|46s19 52s19
X 15 ahven.ads
18K9*Ahven 46e10 17|16r6 19r9 50r5 18|18r14 19r8 70r5
X 16 ahven-astrings.ads
19K15*AStrings[8|46] 17|16w12 46r16 18|19r14
X 17 ahven-temporary_output.ads
19K15*Temporary_Output 15|18k9 17|45E9 50l11 50e27 18|18b20 70l11 70t27
20X4*Temporary_File_Error 18|31r16
22R9*Temporary_File 24r38 28r30 31r48 38r41 41r40 45c9 48e14 18|24r38 39r30
. 44r48 56r41 65r40
24U14*Create_Temp 24<27 18|24b14 37l8 37t19
24r27 File{22R9} 18|24b27 34m7 36m27 36r27
28V13*Get_Name{string} 28>23 18|39b13 42l8 42t16
28r23 File{22R9} 18|39b23 41r25
31U14*Redirect_Output 31=31 18|44b14 48l8 48t23
31r31 To_File{22R9} 18|44b31 47r31
35U14*Restore_Output 18|50b14 54l8 54t22
38U14*Remove_Temp 38=27 18|56b14 63l8 63t19
38r27 File{22R9} 18|56b27 58r35 59m28 59r28 60r39 62m27 62r27
41U14*Close_Temp 41=26 18|65b14 68l8 68t18
41r26 File{22R9} 18|65b26 67m26 67r26
46r7*Name{8|50R12[16|19]} 18|34m12 41r30 60r44
47p7*Handle{13|52P9} 18|36m32 47r39 58r40 59m33 62m32 67m31
X 18 ahven-temporary_output.adb
21I12 Temp_Counter_Type{long_integer} 22r19 28r25
22i4 Temp_Counter{21I12} 26r35 28r10 29m10 29r26
25a7 Filename=25:51{string} 34r39 36r62