This file is indexed.

/usr/lib/ada/adalib/anet/anet-sockets-thin-inet.ali is in libanet1-dev 0.3.3-1.

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
V "GNAT Lib v6"
A -O2
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -fstack-check=specific
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -fstack-protector-strong
A -gnatA
P DB ZX

RN
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U anet.sockets.thin.inet%b  anet-sockets-thin-inet.adb  3bb8f92f NE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W anet%s		anet.adb		anet.ali
W anet.byte_swapping%s	anet-byte_swapping.adb	anet-byte_swapping.ali
W anet.socket_families%s  anet-socket_families.ads  anet-socket_families.ali
W anet.sockets.thin%s	anet-sockets-thin.ads	anet-sockets-thin.ali
W interfaces%s		interfac.ads		interfac.ali

U anet.sockets.thin.inet%s  anet-sockets-thin-inet.ads  066a2be7 EE NE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W anet.sockets.thin%s	anet-sockets-thin.ads	anet-sockets-thin.ali

D ada.ads		20070406091342 3ffc8e18 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		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D anet.ads		20160718084454 db94a232 anet%s
D anet-byte_swapping.ads  20160718084454 5c646e80 anet.byte_swapping%s
D anet-constants.ads	20160718084454 ee8dd842 anet.constants%s
D anet-os_constants.ads	20160718084454 790c2382 anet.os_constants%s
D anet-socket_families.ads  20160718084454 09edb115 anet.socket_families%s
D anet-sockets.ads	20160718084454 ec471120 anet.sockets%s
D anet-sockets-thin.ads	20160718084454 5b615886 anet.sockets.thin%s
D anet-sockets-thin-inet.ads  20160718084454 5d0b7361 anet.sockets.thin.inet%s
D anet-sockets-thin-inet.adb  20160718084454 333a55db anet.sockets.thin.inet%b
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D i-c.ads		20110801143639 5421119b interfaces.c%s
D system.ads		20151123113124 6326c08a system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-oscons.ads		20160724174210 4bd50652 system.os_constants%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%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-traent.ads		20140730135025 005bf670 system.traceback_entries%s
X 7 anet.ads
36K9*Anet 136e9 14|23r9 25r23 70r5 15|23r6 24r6 26r14 60r5
38I9*Byte<short_integer>
51I9*Double_Byte<integer>
55A9*Byte_Array(38I9)<integer> 14|42r24
63I12*Port_Type{51I9} 14|60r17 66r17 15|32r17 48r17
80A9*IPv4_Addr_Type(38I9)<integer> 14|40r24 59r17 15|31r17
98A9*IPv6_Addr_Type(38I9)<integer> 14|47r28 65r17 15|47r17
X 8 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 15|23w11 39r18 55r18
26V13*Host_To_Network{7|51I9} 15|39s32 55s32
26i30 Input{7|51I9} 15|39r49 55r49
X 9 anet-constants.ads
28K14*Constants 77e19 15|37r29 53r29
30K12*Sys=30:31 15|37r39 53r39
X 11 anet-socket_families.ads
28K14*Socket_Families 46e25 14|25r28 15|24w11 36r29 52r29
30E9*Family_Type 35e19 14|27r35
31n7*Family_Inet{30E9} 14|28r9 32r39 39r18 15|36r45
32n7*Family_Inet6{30E9} 14|28r27 44r18 15|52r45
X 12 anet-sockets.ads
31K14*Sockets 7|36k9 12|191e17 14|23r14 70r10 15|26r19 60r10
X 13 anet-sockets-thin.ads
26K22*Thin 12|31k14 13|135e22 14|23r22 61r14 67r14 70r18 15|26r27 33r14 49r14
. 60r18
X 14 anet-sockets-thin-inet.ads
23K27*Inet 13|26k22 14|61r19 67r19 70l23 70e27 15|26b32 33r19 49r19 60l23
. 60t27
25K12*SF=25:28 27r32 28r6 28r24 32r36 39r15 44r15
27E12*Family_Inet_Type{11|30E9} 32r16
31R9*Sockaddr_In_Type 32d7 52e14 53r28 54r26 61r24 67r24 15|33r24 49r24
32e7*Family{27E12} 38r12 15|36m15 52m15
33m7*Sin_Family{17|44M9} 15|37m15 53m15
35m7*Sin_Port{17|44M9} 15|38m15 54m15
40a13*Sin_Addr{7|80A9} 15|40m15
42a13*Sin_Zero{7|55A9}
45m13*Sin_Flowinfo{17|43M9}
47a13*Sin6_Addr{7|98A9} 15|56m15
49m13*Sin_Scope_ID{17|43M9}
58V13*Create_Inet4{31R9} 59>7 60>7 15|30b13 42l8 42t20
59a7 Address{7|80A9} 15|31b7 40r29
60i7 Port{7|63I12} 15|32b7 39r58
64V13*Create_Inet6{31R9} 65>7 66>7 15|46b13 58l8 58t20
65a7 Address{7|98A9} 15|47b7 56r29
66i7 Port{7|63I12} 15|48b7 55r58
X 16 interfac.ads
38K9*Interfaces 14|33r20 35r20 45r28 49r28 15|38r29 54r29 16|183e15
X 17 i-c.ads
18K20*C 14|33r31 35r31 45r39 49r39 15|38r40 54r40 17|230e17
43M9*unsigned 14|45r41 49r41
44M9*unsigned_short 14|33r33 35r33 15|38r42 54r42
X 21 s-oscons.ads
231N4*AF_INET 15|37r43
232N4*AF_INET6 15|53r43