/usr/lib/ada/adalib/anet/anet-udp.ali is in libanet0.1-dev 0.1-3.
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 | V "GNAT Lib v4.6"
A -fstack-check=specific
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 -gnatA
P DB SS ZX
R nnnnnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnnnnnnnvnnvnnnnnnnnnnnnnnnvvnvnnnnnnnnnnnnnnnn
U anet.udp%b anet-udp.adb d2617138 NE OO PK
W ada.exceptions%s a-except.adb a-except.ali
W anet%s anet.adb anet.ali
W anet.byte_swapping%s anet-byte_swapping.adb anet-byte_swapping.ali
W anet.constants%s anet-constants.ads anet-constants.ali
W anet.util%s anet-util.adb anet-util.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.concat_4%s s-conca4.adb s-conca4.ali
W system.img_int%s s-imgint.adb s-imgint.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U anet.udp%s anet-udp.ads 852e5a3e EE OO PK
W ada%s ada.ads ada.ali
W ada.streams%s a-stream.ads a-stream.ali
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-except.ads 20090727140100 0c711ac9
D a-stream.ads 20090409150019 2ca4ee37
D a-tags.ads 20101021101406 c7695348
D a-unccon.ads 20070406091342 f9eb8f06
D anet.ads 20120330101247 6d3e0baf
D anet-byte_swapping.ads 20120330101247 5c646e80
D anet-constants.ads 20120330101247 b9f297c3
D anet-udp.ads 20120330101247 c4b4bfa6
D anet-udp.adb 20120330101247 a2e27fdd
D anet-util.ads 20120330101247 51a14800
D interfac.ads 20090409150019 f77d8799
D i-c.ads 20101007125900 809c38c4
D system.ads 20120427100214 23e1f70b
D s-conca4.ads 20090420091404 025fe3be
D s-exctab.ads 20090417131547 66e51330
D s-imgint.ads 20090409150019 02dbe0c2
D s-oscons.ads 20120427101608 9050b5e5
D s-parame.ads 20091130110856 9c5d83fa
D s-secsta.ads 20090707124243 eea35a36
D s-stalib.ads 20101021102512 c4241c00
D s-stoele.ads 20090417130712 facd7d98
D s-stoele.adb 20100617152355 afc5dc80
D s-traent.ads 20090417130712 5221ee41
X 1 ada.ads
16K9*Ada 19e8 9|24r6 32r18 37r14 42r16 10|30r8 77r20 87r20 122r18 127r14
. 155r16
X 3 a-stream.ads
36K13*Streams 69e16 9|24w10 32r22 37r18 42r20 10|30r12 77r24 87r24 122r22
. 127r18 155r20
42M9*Stream_Element 10|73r42
44I9*Stream_Element_Offset<long_integer> 10|96r33 99r30
51A9*Stream_Element_Array(42M9)<44I9> 9|32r30 37r26 42r28 10|50r6 72r34 77r32
. 87r32 102r23 122r30 127r26 155r28
X 6 anet.ads
36K9*Anet 132e9 9|26r9 52r5 10|24r6 25r6 26r6 28r14 190r5
38I9*Byte<short_integer> 10|55r24 56r24
51I9*Double_Byte<integer> 10|33r16 34r16 35r16 36r16 57r24 80r14 90r14 137r19
. 139r19 165r27
63I12*Port_Type{51I9} 9|35r18 36r18 10|125r18 126r18
80A9*IPv4_Addr_Type(38I9)<integer> 9|33r18 34r18 43r16 44r16 10|53r24 54r24
. 78r20 79r20 88r20 89r20 123r18 124r18 156r16 157r16
X 7 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 10|24w11 109r36 136r25 138r25 140r25 142r25 174r18
26V13*Host_To_Network{6|51I9} 10|109s50 136s39 138s39 140s39 142s39
26i30 Input{6|51I9} 10|110r10 137r10 139r10 141r10 143r10
34V13*Network_To_Host{6|51I9} 10|174s32
34i30 Input{6|51I9} 10|174r49
X 8 anet-constants.ads
28K14*Constants 75e19 10|25w11 108r36
30K12*Sys=30:31 10|108r46
X 9 anet-udp.ads
26K14*UDP 6|36k9 9|52l10 52e13 10|28b19 190l10 190t13
28N4*UDP_Header_Length 10|50r33 168r41 180r28
31V13*Create_Header{3|51A9} 32>7 33>7 34>7 35>7 36>7 10|121b13 150l8 150t21
32a7 Payload{3|51A9} 10|122b7 141r19 145r27
33a7 Src_IP{6|80A9} 10|123b7 146r27
34a7 Dst_IP{6|80A9} 10|124b7 147r27
35i7 Src_Port{6|63I12} 10|125b7 137r32
36i7 Dst_Port{6|63I12} 10|126b7 139r32
41U14*Validate_Checksum 42>7 43>7 44>7 10|154b14 188l8 188t25
42a7 Packet{3|51A9} 10|155b7 167r21 168r10 168r26 179r24 180r13 180r49
43a7 Src_IP{6|80A9} 10|156b7 181r24
44a7 Dst_IP{6|80A9} 10|157b7 182r24
50X4*Invalid_UDP_Packet 10|185r16
X 10 anet-udp.adb
32R9 Raw_UDP_Hdr_Type 37e14 40r8 47r8 132r17 162r17
33i7*Source{6|51I9} 41r7 136m15
34i7*Dest{6|51I9} 42r7 138m15
35i7*Len{6|51I9} 43r7 140m15
36i7*Check{6|51I9} 44r7 135m15 142m15 170r18 174r66 175m15
49A12 Raw_UDP_Hdr_Buffer_Type{3|51A9}<3|44I9> 76r20 86r20 129r20 159r20
52R9 Pseudo_Hdr_Type 58e14 61r8 69r8 70r8 73r12 93r23
53a7*Source_Address{6|80A9} 62r7 105m18
54a7*Dest_Address{6|80A9} 63r7 106m18
55i7*Reserved{6|38I9} 64r7 107m18
56i7*Protocol{6|38I9} 65r7 108m18
57i7*Length{6|51I9} 66r7 109m18
72A12 Pseudo_Buffer_Type{3|51A9}<3|44I9> 92r23
75V13 Compute_Checksum{6|51I9} 76>7 77>7 78>7 79>7 85b13 117l8 117t24 143s19
. 177s19
76a7 Hdr_Buffer{49A12} 86b7 100r58 103r38 110r36 113r47 144r13 178r10
77a7 Payload{3|51A9} 87b7 103r58 110r19 114r69 145r13 179r10
78a7 Src_IP{6|80A9} 88b7 105r36 146r13 181r10
79a7 Dst_IP{6|80A9} 89b7 106r36 147r13 182r10
92a7 Pseudo_Buffer{72A12} 94m34 97r14 103r15 112r47
93r7 Pseudo_Hdr{52R9} 94m11 105m7 106m7 107m7 108m7 109m7
96I15 Pseudo_Hdr_Idx{3|44I9} 100r9 100r36 112r22
99I15 UDP_Hdr_Idx{3|44I9} 113r22 114r22
102a7 Chksum_Buffer{3|51A9} 112m7 113m7 114m7 114r46 116r53
129a7 Hdr_Buffer{49A12} 130r11 133m31 141r36 144r27 149r14
132r7 UDP_Hdr{32R9} 133m11 135m7 136m7 138m7 140m7 142m7
159a7 Hdr_Buffer{49A12} 160r11 163m31 167m7 178r24
162r7 UDP_Hdr{32R9} 163m11 170r10 174r58 175m7
165i7 Chk_Pkt{6|51I9} 174m7 184r22 185r64
165i16 Chk_Calc{6|51I9} 177m7 184r10 186r38
X 11 anet-util.ads
26K14*Util 10|26w11 116r14 11|33e14
28V13*Calculate_One_Complement{6|51I9} 10|116s19
29a7 Data{3|51A9} 10|116r45
X 18 s-oscons.ads
247N4*IPPROTO_UDP 10|108r50
|