This file is indexed.

/usr/lib/ada/adalib/anet/anet-sockets-thin.ali is in libanet0.3.1-dev 0.3.1-1ubuntu1.

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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
V "GNAT Lib v4.9"
A -O2
A -fstack-check=specific
A -fstack-protector-strong
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -gnatA
P DB ZX

RN
RV NO_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U anet.sockets.thin%s	anet-sockets-thin.ads	6eddabb7 NE OO PK
W anet.sockets%s	anet-sockets.adb	anet-sockets.ali
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-stream.ads		20140122164720 1a984740
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D anet.ads		20140811220322 062d45a5
D anet-constants.ads	20140811220322 ee8dd842
D anet-os_constants.ads	20140811220322 bdafab0d
D anet-socket_families.ads  20140811220322 09edb115
D anet-sockets.ads	20140811220322 7c5b68da
D anet-sockets-thin.ads	20140811220322 82a2527c
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20140730121111 90249111
D s-exctab.ads		20140225151139 54135002
D s-finroo.ads		20120426095924 4ff27390
D s-oscons.ads		20140730121112 a445b120
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-stopoo.ads		20131010103753 b16154c2
D s-traent.ads		20140225151139 b5116092
X 7 anet.ads
36K9*Anet 136e9 12|26r9 128r5
38I9*Byte<short_integer>
80A9*IPv4_Addr_Type(38I9)<integer> 12|29r23 30r23
98A9*IPv6_Addr_Type(38I9)<integer> 12|36r26
X 11 anet-sockets.ads
31K14*Sockets 7|36k9 11|187e17 12|26r14 128r10
X 12 anet-sockets-thin.ads
26K22*Thin 11|31k14 12|128l18 128e22
28R9*IPv4_Mreq_Type 31e14 32r26
29a7*Imr_Multiaddr{7|80A9}
30a7*Imr_Interface{7|80A9}
35R9*IPv6_Mreq_Type 38e14 39r26
36a7*IPv6mr_Multiaddr{7|98A9}
37m7*IPv6mr_Interface{14|43M9}
46V13*C_Socket{14|35I9} 47>7 48>7 49>7 51b<c,socket>22
47i7 Domain{14|35I9}
48i7 Typ{14|35I9}
49i7 Protocol{14|35I9}
53V13*C_Bind{14|35I9} 54>7 55>7 56>7 58b<c,bind>22
54i7 S{14|35I9}
55m7 Name{15|64M9}
56m7 Namelen{14|45M9}
60V13*C_Connect{14|35I9} 61>7 62>7 63>7 65b<c,connect>22
61i7 S{14|35I9}
62m7 Name{15|64M9}
63m7 Namelen{14|45M9}
67V13*C_Recv{14|37I9} 68>7 69>7 70>7 71>7 73b<c,recv>22
68i7 S{14|35I9}
69m7 Msg{15|64M9}
70m7 Len{14|60M9}
71i7 Flags{14|35I9}
75V13*C_Recvfrom{14|37I9} 76>7 77>7 78>7 79>7 80>7 81^7 83b<c,recvfrom>22
76i7 S{14|35I9}
77m7 Msg{15|64M9}
78m7 Len{14|60M9}
79i7 Flags{14|35I9}
80m7 From{15|64M9}
81p7 Fromlen(14|35I9)
85V13*C_Send{14|37I9} 86>7 87>7 88>7 89>7 91b<c,send>22
86i7 S{14|35I9}
87m7 Buf{15|64M9}
88m7 Len{14|60M9}
89i7 Flags{14|35I9}
93V13*C_Sendto{14|37I9} 94>7 95>7 96>7 97>7 98>7 99>7 101b<c,sendto>22
94i7 S{14|35I9}
95m7 Buf{15|64M9}
96m7 Len{14|60M9}
97i7 Flags{14|35I9}
98m7 To{15|64M9}
99m7 Tolen{14|45M9}
103V13*C_Setsockopt{14|35I9} 104>7 105>7 106>7 107>7 108>7 110b<c,setsockopt>22
104i7 S{14|35I9}
105i7 Level{14|35I9}
106i7 Optname{14|35I9}
107m7 Optval{15|64M9}
108m7 Optlen{14|45M9}
112V13*C_Accept{14|35I9} 113>7 114>7 115^7 117b<c,accept>22
113i7 S{14|35I9}
114m7 Name{15|64M9}
115p7 Namelen(14|35I9)
119V13*C_Listen{14|35I9} 120>7 121>7 123b<c,listen>22
120i7 Socket{14|35I9}
121i7 Backlog{14|35I9}
125V13*C_Close{14|35I9} 125>22 126b<c,close>22
125i22 Fd{14|35I9}
X 13 interfac.ads
38K9*Interfaces 12|37r26 47r18 48r18 49r18 50r14 54r17 56r17 57r14 61r17
. 63r17 64r14 68r15 70r15 71r15 72r14 76r17 78r17 79r17 81r33 82r14 86r15
. 88r15 89r15 90r14 94r15 96r15 97r15 99r15 100r14 104r17 105r17 106r17 108r17
. 109r14 113r17 115r33 116r14 120r17 121r17 122r14 125r27 125r52 13|179e15
X 14 i-c.ads
18K20*C 12|37r37 47r29 48r29 49r29 50r25 54r28 56r28 57r25 61r28 63r28 64r25
. 68r26 70r26 71r26 72r25 76r28 78r28 79r28 81r44 82r25 86r26 88r26 89r26
. 90r25 94r26 96r26 97r26 99r26 100r25 104r28 105r28 106r28 108r28 109r25
. 113r28 115r44 116r25 120r28 121r28 122r25 125r38 125r63 14|230e17
35I9*int<integer> 12|47r31 48r31 49r31 50r27 54r30 57r27 61r30 64r27 68r28
. 71r28 76r30 79r30 81r46 86r28 89r28 94r28 97r28 104r30 105r30 106r30 109r27
. 113r30 115r46 116r27 120r30 121r30 122r27 125r40 125r65
37I9*long<long_integer> 12|72r27 82r27 90r27 100r27
43M9*unsigned 12|37r39
45M9*unsigned_long 12|56r30 63r30 99r28 108r30
60M9*size_t 12|70r28 78r30 88r28 96r28
X 15 system.ads
37K9*System 12|24w6 55r17 62r17 69r15 77r17 80r17 87r15 95r15 98r15 107r17
. 114r17 15|152e11
64M9*Address 12|55r24 62r24 69r22 77r24 80r24 87r22 95r22 98r22 107r24 114r24