This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/asis/asis-exceptions.ali is in libasis2014-dev 2014-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
V "GNAT Lib v4.9"
A -O2
A -O2
A -fstack-protector-strong
A -fPIC
A -gnatf
A -gnatws
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P ZX

RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U asis.exceptions%s	asis-exceptions.ads	c9043d4e EE OO PK
W asis%s		asis.ads		asis.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 a4g.ads		20140410133835 21a63bd9
D a4g-a_types.ads	20140410133835 34c03c06
D a4g-int_knds.ads	20140410133835 c647fd46
D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chahan.ads		20131010125231 1c00991d
D a-chlat1.ads		20140225151544 66457d31
D a-except.ads		20140129161953 f86a4103
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D asis.ads		20140410133835 676e99c0
D asis-exceptions.ads	20140410133835 ae6aa48e
D gnat.ads		20110801150502 fd2ad2f1
D g-os_lib.ads		20090409150019 0db74523
D interfac.ads		20140225151838 69adb1b9
D system.ads		20140730121111 90249111
D s-exctab.ads		20140225151139 54135002
D s-exctab.adb		20140225151139 05502b19
D s-htable.ads		20140225151139 84c2b3ea
D s-os_lib.ads		20140225151139 73b554c6
D s-parame.ads		20140225151139 ab8cb46a
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-string.ads		20140225151139 8fe54fb7
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D types.ads		20140730124209 09a1b5bd
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
X 11 asis.ads
91K9*Asis 2145e9 12|23r9 82r5
X 12 asis-exceptions.ads
23K14*Exceptions 11|91k9 12|82l10 82e20
28X4*ASIS_Inappropriate_Context
36X4*ASIS_Inappropriate_Container
44X4*ASIS_Inappropriate_Compilation_Unit
52X4*ASIS_Inappropriate_Element
60X4*ASIS_Inappropriate_Line
66X4*ASIS_Inappropriate_Line_Number
74X4*ASIS_Failed