This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gpr/gpr-sdefault.ali is in libgpr1-dev 2017-5.

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
V "GNAT Lib v7"
A -O2
A -g
A -fdebug-prefix-map=/build/gprbuild-Xe333Y/gprbuild-2017=.
A -fstack-protector-strong
A -gnatn
A -fPIC
P SS ZX

RN
RV SPARK_05

U gpr.sdefault%s	gpr-sdefault.ads	6f26fb95 NE OO PK IU
W gpr%s			gpr.adb			gpr.ali
W system%s		system.ads		system.ali
W system.os_constants%s	s-oscons.ads		s-oscons.ali

D ada.ads		20170106103348 76789da1 ada%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-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 gnat.ads		20140801083227 fd2ad2f1 gnat%s
D g-dynhta.ads		20141031105956 97389d1d gnat.dynamic_htables%s
D g-dyntab.ads		20161012125547 aeeb37b9 gnat.dynamic_tables%s
D g-dyntab.adb		20161012125547 b8798004 gnat.dynamic_tables%b
D g-hesorg.ads		20110801150502 106922da gnat.heap_sort_g%s
D g-os_lib.ads		20090409150019 0db74523 gnat.os_lib%s
D gpr.ads		20170517124026 f7331509 gpr%s
D gpr-sdefault.ads	20170517124026 e3409947 gpr.sdefault%s
D interfac.ads		20160502101001 5ab55268 interfaces%s
D i-c.ads		20110801143639 5421119b interfaces.c%s
D system.ads		20170510173650 4635ec04 system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finmas.ads		20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-oscons.ads		20170923094238 7b5577db system.os_constants%s
D s-os_lib.ads		20170923094238 4e0c17b8 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20151118103153 ede33ef8 system.pool_global%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-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
X 14 gpr.ads
38K9*GPR 2967e8 15|27r9 29r5
X 15 gpr-sdefault.ads
27K13*Sdefault 14|38k9 15|29l9 29e17
28a4*Hostname{string}
X 18 system.ads
37K9*System 15|25r6 28r34 18|156e11
X 22 s-oscons.ads
44K16*OS_Constants 15|25w13 28r41 22|367e24
59a4*Target_Name{string} 15|28r54