This file is indexed.

/usr/lib/ada/adalib/gnatprj/sdefault.ali is in libgnatprj6-dev 6.4.0-17ubuntu1.

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
V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ALLOCATORS
RV NO_LOCAL_ALLOCATORS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U sdefault%b		sdefault.adb		48be55a3 NE OO PK
W osint%s		osint.adb		osint.ali

U sdefault%s		sdefault.ads		cab279cc EE NE OO PK
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%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 debug.ads		20151112115918 3ea59655 debug%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D namet.ads		20151027115429 fa2d8adb namet%s
D opt.ads		20151123112034 ee330e6c opt%s
D osint.ads		20151026112632 ebea51fe osint%s
D output.ads		20151112132540 05f6116c output%s
D sdefault.ads		20180424052246 5469d765 sdefault%s
D sdefault.adb		20180424055706 f73dd338 sdefault%b
D system.ads		20151123113124 6326c08a system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-os_lib.ads		20151118101046 53e9e388 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%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 table.adb		20141107135941 9716557f table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20151112132540 9edbaea9 types%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
X 10 osint.ads
44K9*Osint 790e10 13|2w6 2r17
246V13*Relocate_Path{29|113P9} 13|12s14 16s14 24s14 28s14
X 12 sdefault.ads
33K9*Sdefault 39l5 39e13 13|3b14 30l5 30t13
34V13*Include_Dir_Default_Name{29|113P9} 13|10b13 13l8 13t32
35V13*Object_Dir_Default_Name{29|113P9} 13|14b13 17l8 17t31
36V13*Target_Name{29|113P9} 13|18b13 21l8 21t19
37V13*Search_Dir_Prefix{29|113P9} 13|22b13 25l8 25t25
38V13*Project_Dir_Prefix{29|113P9} 13|26b13 29l8 29t26
X 13 sdefault.adb
4a4 S0{string} 12r29 16r29 24r29 28r29
5a4 S1{string} 12r33
6a4 S2{string} 16r33
7a4 S3{string} 20r26
8a4 S4{string} 24r33
9a4 S5{string} 28r33
X 14 system.ads
67M9*Address
X 17 s-memory.ads
53V13*Alloc{14|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{14|67M9} 105i<c,__gnat_realloc>22
X 29 types.ads
52K9*Types 12|31w6 31r17 29|941e10
113P9*String_Ptr(string) 12|34r45 35r45 36r45 37r45 38r45 13|10r45 14r44
. 18r32 22r38 26r39