This file is indexed.

/usr/lib/gcc-cross/arm-linux-gnueabi/6/adalib/gnatvsn/casing.ali is in libgnatvsn6-dev-armel-cross 6.3.0-18cross1.

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
V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -march=armv4t
A -mfloat-abi=soft
A -mtls-dialect=gnu
P ZX

RN
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U casing%b		casing.adb		5239e621 NE OO PK
W csets%s		csets.adb		csets.ali
W interfaces%s		interfac.ads		interfac.ali
W namet%s		namet.adb		namet.ali
W opt%s			opt.adb			opt.ali
W widechar%s		widechar.adb		widechar.ali

U casing%s		casing.ads		c2f1dfc8 BN EE NE OO PK
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads		20150107084147 61013b91 alloc%s
D casing.ads		20140717063745 5c2a7161 casing%s
D casing.adb		20140717063745 cc937043 casing%b
D csets.ads		20140122165324 e948558f csets%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D namet.ads		20151027115429 fa2d8adb namet%s
D opt.ads		20151123112034 ee330e6c opt%s
D system.ads		20151123113124 2a1dd890 system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D table.ads		20151020120548 e3a9ec16 table%s
D types.ads		20151112132540 9edbaea9 types%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
D widechar.ads		20140801083227 3fd6363b widechar%s
X 5 casing.ads
34K9*Casing 91l5 91e11 6|37b14 208l5 208t11
47E9*Casing_Type 62e5 64r28 71r30 71r47 86r59 6|43r59 128r30 128r47 131r23
49n7*All_Upper_Case{47E9} 64r46 6|105r17 121r19 178r32
52n7*All_Lower_Case{47E9} 6|99r17 190r32
55n7*Mixed_Case{47E9} 64r64 71r62 6|65r17 108r17 128r62 179r59 191r63
59n7*Unknown{47E9} 6|102r17 111r17 139r15
64E12*Known_Casing{47E9}
71U14*Set_Casing 71>26 71>43 6|121s7 128b14 206l8 206t18
71e26 C{47E9} 6|128b26 139r10 140r27
71e43 D{47E9} 6|128b43 142r27
80U14*Set_All_Upper_Case 81r19 6|119b14 122l8 122t26
86V13*Determine_Casing{47E9} 86>31 6|43b13 113l8 113t24
86a31 Ident{20|148A9} 6|43b31 64r10 70r16 71r13 71r37 74r38 84r38
X 6 casing.adb
45b7 All_Lower{boolean} 85m13 98r10
48b7 All_Upper{boolean} 75m13 104r13
51b7 Mixed{boolean} 81m16 89m16 107r13
55b7 Decisive{boolean} 78m16 88m16 101r17
58b7 After_Und{boolean} 72m13 77r20 80m16 87r20 91m16
70i11 S<20|59I9> 71r20 71r44 74r45 84r45
129i7 Ptr{natural} 145m7 147r13 159r26 160r33 162r44 164m37 164r37 169r29
. 170r55 173m13 173r20 177r51 181r29 181r62 185m13 185r20 189r51 193r29 193r62
. 197m13 197r20 203m13 203r20
131e7 Actual_Casing{5|47E9} 140m10 142m10 178r16 179r43 190r16 191r47
134b7 After_Und{boolean} 165m13 172m13 179r24 184m13 191r28 196m13 202m13
X 7 csets.ads
32K9*Csets 6|32w6 32r20 7|97e10
44A9*Translate_Table(character)<character>
47A9*Char_Array_Flags(boolean)<character>
75V13*Is_Upper_Case_Letter{boolean} 6|84s16 189s16
79V13*Is_Lower_Case_Letter{boolean} 6|74s16 177s16
83a4*Fold_Upper{44A9} 6|181r37
86a4*Fold_Lower{44A9} 6|193r37
89a4*Identifier_Char{47A9} 6|170r25
X 10 namet.ads
38K9*Namet 6|33w6 33r20 10|713e10
152a4*Name_Buffer{string} 6|159r13 160r20 162r31 164r24 169r16 170r42 177r38
. 181m16 181r49 189r38 193m16 193r49
158i4*Name_Len{natural} 6|147r20
X 11 opt.ads
50K9*Opt 6|34w6 34r20 11|2308e8
1576b4*Upper_Half_Encoding{boolean} 6|161r21
X 20 types.ads
52K9*Types 5|32w6 32r17 20|941e10
59I9*Int<integer>
108E12*Upper_Half_Character{character} 6|162r52
148A9*Text_Buffer(character)<145I9> 5|86r39 6|43r39
X 23 widechar.ads
39K9*Widechar 6|35w6 35r20 23|98e13
80U14*Skip_Wide 6|164s13