/usr/lib/ada/adalib/anet/anet-sockets-thin.ali is in libanet0.3.1-dev 0.3.1-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 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 20140727234634 90249111
D s-exctab.ads 20140225151139 54135002
D s-finroo.ads 20120426095924 4ff27390
D s-oscons.ads 20140727234635 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
|