This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken.ali is in libopentoken5-dev 6.0b-4.

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
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX

RN
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U opentoken%b		opentoken.adb		2f3e6105 NE OO PK
W ada%s			ada.ads			ada.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 ada.text_io%s		a-textio.adb		a-textio.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U opentoken%s		opentoken.ads		759e8cc0 EE OO PK
W ada%s			ada.ads			ada.ali
W ada.characters%s	a-charac.ads		a-charac.ali
W ada.characters.latin_1%s  a-chlat1.ads	a-chlat1.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.bounded%s	a-strbou.adb		a-strbou.ali
W ada.tags%s		a-tags.adb		a-tags.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.standard_library%s  s-stalib.adb	s-stalib.ali

D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
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-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strbou.adb		20090409150019 adb4aa70
D a-strfix.ads		20101008130255 d07c346e
D a-strmap.ads		20090409150019 9cb836fb
D a-strsea.ads		20101008130255 b9bc90ba
D a-strsup.ads		20120309145048 a27dcb33
D a-strsup.adb		20120307144551 5acf016e
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D opentoken.ads		20150510192240 8bdd0f75
D opentoken.adb		20150510192240 4cf2afca
D system.ads		20151121115557 90249111
D s-carun8.ads		20140225151544 a903718d
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-exctab.adb		20140225151139 05502b19
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-htable.ads		20140225151139 84c2b3ea
D s-imgint.ads		20090409150019 02dbe0c2
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 21|36r6 37r6 56r42 59r42 66r27 22|27r6 28r6 33r11 34r11 41r11
. 43r7
X 2 a-charac.ads
16K13*Characters 18e19 21|36r10 56r46 59r46
X 3 a-chlat1.ads
18K24*Latin_1 296e27 21|36w21 56r57 59r57
29e4*EOT{character} 21|59r65
38e4*CR{character} 21|56r65
X 8 a-string.ads
16K13*Strings 35e16 21|37r10 66r31 22|27r10 33r15 34r15 41r15
33n37*Both{33E9} 22|36r42
X 9 a-strbou.ads
39K21*Bounded 914e24 21|37w18 66r39
46k12*Generic_Bounded_Length 912e30 21|66r47
X 11 a-strfix.ads
18K21*Fixed 251e22 22|27w18 34r23 41r23
195V13*Trim{string} 22|36s14
243V14*"*"{string} 22|43s41
X 17 a-textio.ads
49K13*Text_IO 471e16 22|28w10 43r11
242U14*Put 22|43s19
X 21 opentoken.ads
42K9*OpenToken 81E4 82l5 82e14 22|29b14 46l5 46t14
44X4*Syntax_Error
46X4*Parse_Error
48X4*Grammar_Error
50X4*User_Error
52X4*Programmer_Error
56e4*EOL_Character{character}
59e4*EOF_Character{character}
64N4*Max_String_Length 66r71
66K12*Buffers[9|46]
72i4*Trace_Parse{integer}
75U14*Trace_Put 75>25 22|39b14 44l8 44t17
75s25 Message{string} 22|39b25 43r49
77V13*Int_Image{string} 77>24 22|31b13 37l8 37t17
77i24 Item{integer} 22|31b24 36r35
81i4 Trace_Indent{integer} 22|43r24