/usr/lib/ada/adalib/anet/anet-util.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 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 | 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 SS ZX
RN
RV NO_DELAY
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_RELATIVE_DELAY
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U anet.util%b anet-util.adb cf8b0634 OO PK
W ada%s ada.ads ada.ali
W ada.calendar.delays%s a-caldel.adb a-caldel.ali
W ada.directories%s a-direct.adb a-direct.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.numerics%s a-numeri.ads a-numeri.ali
W ada.numerics.discrete_random%s
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W anet.thin%s anet-thin.ads anet-thin.ali
W interfaces%s interfac.ads interfac.ali
Z system%s system.ads system.ali
W system.img_lld%s s-imglld.adb s-imglld.ali
Z system.random_numbers%s s-rannum.adb s-rannum.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U anet.util%s anet-util.ads 19425483 EE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
D ada.ads 20070406091342 3ffc8e18
D a-calend.ads 20120515092648 d86d6c8c
D a-caldel.ads 20140120152337 9f20b83d
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20140225151544 66457d31
D a-direct.ads 20101220072657 9d42e46d
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-numeri.ads 20080324174807 bb51c45a
D a-nudira.ads 20100622172941 2fef2912
D a-nudira.adb 20100622172941 e57ce22b
D a-stream.ads 20140122164720 1a984740
D a-string.ads 20070406091342 90ac6797
D a-strmap.ads 20090409150019 9cb836fb
D a-strunb.ads 20120426100351 3f91d4c5
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D anet.ads 20140811220322 062d45a5
D anet-thin.ads 20140811220322 5f7757cb
D anet-util.ads 20140811220322 1f6f1126
D anet-util.adb 20140811220322 54933c1f
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D system.ads 20140727234634 90249111
D s-atocou.ads 20131010110730 cd7c94ca
D s-atocou.adb 20131010121735 62bad392
D s-exctab.ads 20140225151139 54135002
D s-fatflt.ads 20090409150019 11beb392
D s-fatgen.ads 20140129155348 9267ca45
D s-fatlfl.ads 20090409150019 378cba9f
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-imglld.ads 20090409150019 f3220969
D s-imguns.ads 20090409150019 9ff43cf7
D s-parame.ads 20140225151139 ab8cb46a
D s-rannum.ads 20140124162202 5eb33f0a
D s-rannum.adb 20130102110615 34372cc7
D s-ransee.ads 20120130115052 01a57b33
D s-secsta.ads 20140225151139 86a2856d
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-stposu.ads 20121005142121 ffeba1c5
D s-stratt.ads 20131014135145 aedef97e
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-valuns.ads 20090409150019 10a8ed3b
X 1 ada.ads
16K9*Ada 19e8 21|27r14 22|24r6 25r6 33r8 39r32 46r14 124r13
X 6 a-direct.ads
76K13*Directories 487e20 22|24w10 124r17
295V13*Exists{boolean} 22|124s29
295s21 Name{string} 22|124r37
X 10 a-numeri.ads
16K13*Numerics 32e17 22|25r10 39r36
X 11 a-nudira.ads
42E9 Result_Subtype 22|40r7
44k22*Discrete_Random 73e33 22|25w19 39r45
48R9*Generator<37|58R9> 22|41r29[39]
50V13*Random{integer} 22|110s44[39]
50r21 Gen{48R9[22|39]} 22|110r52[39]
52U14*Reset<37|101p14> 22|137s17[39]
52r21 Gen{48R9[22|39]} 22|137r24[39]
52i38 Initiator{integer} 22|138r24[39]
X 12 a-nudira.adb
51V16 Random[37|78]{integer} 38|390b13[22|39]
X 13 a-stream.ads
36K13*Streams 84e16 21|27r18 22|33r12 46r18
42M9*Stream_Element
44I9*Stream_Element_Offset<long_integer> 22|74r14
51A9*Stream_Element_Array(42M9)<44I9> 21|27r26 22|46r26 50r17 51r17 56r17
. 57r17 64r21 73r23
X 19 anet.ads
36K9*Anet 136e9 21|24r9 43r5 22|29r6 31r14 139r5
51I9*Double_Byte<integer> 21|28r14 22|47r14 100r14
X 20 anet-thin.ads
25K14*Thin 30e14 22|29w11 138r46
27V13*C_Getpid{24|35I9} 22|138s51
X 21 anet-util.ads
24K14*Util 19|36k9 21|43l10 43e14 22|31b19 139l10 139t14
26V13*Calculate_One_Complement{19|51I9} 27>7 22|45b13 101l8 101t32
27a7 Data{13|51A9} 22|46b7 73r66
31V13*Random_String{string} 31>28 22|105b13 114l8 114t21
31i28 Len{positive} 22|105b28 107r29
34U14*Wait_For_File 35>7 36>7 22|118b14 132l8 132t21
35s7 Path{string} 22|119b7 124r45 130r42
36o7 Timespan{duration} 22|120b7 123r37 127r16 131r11
41X4*Wait_Timeout 22|130r13
X 22 anet-util.adb
35a4 Chars{string} 37r42 37r57 110r24
37I12 Chars_Range{positive} 40r25
39K12 Random_Chars[11|44] 41r16 110r31 137r4
41r4 Generator{11|48R9[39]} 110r59 137r37
49V16 Make_Even{13|51A9} 50>10 55b16 68l11 68t20 73s47
50a10 Data{13|51A9} 56b10 60r13 61r20 64r43 64r57 65r16 65r31 73r58
64a17 D{13|51A9} 65m13 66m13 66r16
72m7 Sum{23|63M9} 77m10 77r17 80m10 80r17 89r41 94m13 94r21 98m7 98r19 100r27
73a7 Even{13|51A9} 74r47 78r36 80r36 83r26
74i7 Idx{13|44I9} 78r42 80r42 82m10 82r17 83r20
88m13 Carries{23|63M9} 92r23 94r41
107a7 Result{string} 109r16 110m10 113r14
109i11 I{integer} 110r18
123i11 L{integer}
X 23 interfac.ads
38K9*Interfaces 22|27w6 70r11 23|179e15
60M9*Unsigned_16 22|78r23
63M9*Unsigned_32 22|72r14 77r23 80r23 88r32
66M9*Unsigned_64
89V13*Shift_Left{60M9} 22|77s36
90m7 Value{60M9} 22|78r13
91i7 Amount{natural} 22|79r13
113V13*Shift_Right{63M9} 22|89s18
114m7 Value{63M9} 22|89r31
115i7 Amount{natural} 22|90r31
X 24 i-c.ads
35I9*int<integer>
X 37 s-rannum.ads
58R9*Generator
70V13*Random{23|63M9} 38|219i21
71V13*Random{23|66M9} 38|219i21
|