/usr/lib/ada/adalib/anet/anet-util.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 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 | 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 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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U anet.util%b anet-util.adb edce7996 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 c4fbb314 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 ada%s
D a-calend.ads 20141120112812 d986d312 ada.calendar%s
D a-caldel.ads 20140120152337 9f20b83d ada.calendar.delays%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-direct.ads 20140801100131 9d42e46d ada.directories%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-numeri.ads 20080324174807 bb51c45a ada.numerics%s
D a-nudira.ads 20151026111742 2fef2912 ada.numerics.discrete_random%s
D a-nudira.adb 20151026111742 e57ce22b ada.numerics.discrete_random%b
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strunb.ads 20140717072738 3f91d4c5 ada.strings.unbounded%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-thin.ads 20160718084454 5f7757cb anet.thin%s
D anet-util.ads 20160718084454 1f6f1126 anet.util%s
D anet-util.adb 20160718084454 54933c1f anet.util%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-atocou.ads 20151020101020 b45c2d8d system.atomic_counters%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-fatflt.ads 20090409150019 11beb392 system.fat_flt%s
D s-fatgen.ads 20150107111315 49cbaf86 system.fat_gen%s
D s-fatlfl.ads 20090409150019 378cba9f system.fat_lflt%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-imglld.ads 20090409150019 f3220969 system.img_lld%s
D s-imguns.ads 20140717070019 9ff43cf7 system.img_uns%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-rannum.ads 20150205111725 99ade2f2 system.random_numbers%s
D s-rannum.adb 20150522103533 20ba1217 system.random_numbers%b
D s-ransee.ads 20120130115052 01a57b33 system.random_seed%s
D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%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-stposu.ads 20151020120548 97a6219c system.storage_pools.subpools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
D s-valuns.ads 20150220142606 10a8ed3b system.val_uns%s
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
295a21 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<36|63R9> 22|41r29[39]
50V13*Random{integer} 22|110s44[39]
50r21 Gen{48R9[22|39]} 22|110r52[39]
52U14*Reset<36|106p14> 22|137s17[39]
52r21 Gen{48R9[22|39]} 22|137r24[39]
52i38 Initiator{integer} 22|138r24[39]
X 12 a-nudira.adb
51V16 Random[36|83]{integer} 37|392b13[22|39]
X 13 a-stream.ads
36K13*Streams 87e16 21|27r18 22|33r12 46r18
42M9*Stream_Element
44I9*Stream_Element_Offset<long_long_integer> 22|74r14
54A9*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|54A9} 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
35a7 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|54A9} 50>10 55b16 68l11 68t20 73s47
50a10 Data{13|54A9} 56b10 60r13 61r20 64r43 64r57 65r16 65r31 73r58
64a17 D{13|54A9} 65m13 66m13 66r16
72m7 Sum{23|73M9} 77m10 77r17 80m10 80r17 89r41 94m13 94r21 98m7 98r19 100r27
73a7 Even{13|54A9} 74r47 78r36 80r36 83r26
74i7 Idx{13|44I9} 78r42 80r42 82m10 82r17 83r20
88m13 Carries{23|73M9} 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|183e15
65M9*Unsigned_16 22|78r23
73M9*Unsigned_32 22|72r14 77r23 80r23 88r32
76M9*Unsigned_64
100V13*Shift_Left{65M9} 22|77s36
101m7 Value{65M9} 22|78r13
102i7 Amount{natural} 22|79r13
124V13*Shift_Right{73M9} 22|89s18
125m7 Value{73M9} 22|89r31
126i7 Amount{natural} 22|90r31
X 24 i-c.ads
35I9*int<integer>
X 36 s-rannum.ads
75V13*Random{23|73M9} 37|221i21
76V13*Random{23|76M9} 37|221i21
|