/usr/lib/ada/adalib/anet/anet-ipv4.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 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 | 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.ipv4%b anet-ipv4.adb 7acc7225 NE OO PK
W ada.exceptions%s a-except.adb a-except.ali
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.constants%s anet-constants.ads anet-constants.ali
W anet.udp%s anet-udp.adb anet-udp.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_2%s s-conca2.adb s-conca2.ali
W system.concat_4%s s-conca4.adb s-conca4.ali
W system.concat_5%s s-conca5.adb s-conca5.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.ipv4%s anet-ipv4.ads fdd02327 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-ipv4.ads 20120330101247 bc4ac6bf
D anet-ipv4.adb 20120330101247 95e44d74
D anet-udp.ads 20120330101247 c4b4bfa6
D anet-util.ads 20120330101247 51a14800
D interfac.ads 20090409150019 f77d8799
D i-c.ads 20101007125900 809c38c4
D system.ads 20120427100214 23e1f70b
D s-conca2.ads 20090420091404 fbd0f2fc
D s-conca4.ads 20090420091404 025fe3be
D s-conca5.ads 20090420091404 1039cea1
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 32r17 35r14 40r18 45r14 49r16 50r14 10|86r13 89r6 94r17
. 97r14 125r18 130r14 132r11 169r16 170r14 227r29 228r23
X 3 a-stream.ads
36K13*Streams 69e16 9|24w10 32r21 35r18 40r22 45r18 49r20 50r18 10|86r17
. 89r10 94r21 97r18 125r22 130r18 132r15 169r20 170r18 227r33 228r27
42M9*Stream_Element
44I9*Stream_Element_Offset<long_integer> 10|86r25 134r33 135r33 228r35
51A9*Stream_Element_Array(42M9)<44I9> 9|32r29 35r26 40r30 45r26 49r28 50r26
. 10|89r18 94r29 97r26 125r30 130r26 137r19 169r28 170r26 227r41
X 6 anet.ads
36K9*Anet 132e9 9|26r9 69r5 10|26r6 27r6 28r6 29r6 31r14 239r5
38I9*Byte<short_integer> 10|39r18 43r18 44r18
51I9*Double_Byte<integer> 10|40r18 41r18 42r18 45r18 194r31 210r30 212r21
63I12*Port_Type{51I9} 9|42r18 44r18 10|127r18 129r18
80A9*IPv4_Addr_Type(38I9)<integer> 9|33r17 34r17 41r18 43r18 10|46r18 47r18
. 95r17 96r17 126r18 128r18
X 7 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 10|26w11 106r29 116r29 195r15 211r15
26V13*Host_To_Network{6|51I9} 10|106s43 116s43
26i30 Input{6|51I9} 10|107r10 117r10
34V13*Network_To_Host{6|51I9} 10|195s29 211s29
34i30 Input{6|51I9} 10|195r46 211r46
X 8 anet-constants.ads
28K14*Constants 75e19 10|27w11 111r29 204r32
30K12*Sys=30:31 10|111r39 204r42
X 9 anet-ipv4.ads
26K14*IPv4 6|36k9 9|69l10 69e14 10|31b19 158r12 239l10 239t14
28N4*IP_Header_Length 10|89r45 182r41
31V13*Create_Header{3|51A9} 32>7 33>7 34>7 10|93b13 120l8 120t21 158s17
32a7 Payload{3|51A9} 10|94b7 107r19 159r12
33a7 Src_IP{6|80A9} 10|95b7 113r29 160r12
34a7 Dst_IP{6|80A9} 10|96b7 114r29 161r12
39V13*Create_Packet{3|51A9} 40>7 41>7 42>7 43>7 44>7 10|124b13 164l8 164t21
40a7 Payload{3|51A9} 10|125b7 138r37 143r64 149r24
41a7 Src_IP{6|80A9} 10|126b7 150r24 160r23
42i7 Src_Port{6|63I12} 10|127b7 152r24
43a7 Dst_IP{6|80A9} 10|128b7 151r24 161r23
44i7 Dst_Port{6|63I12} 10|129b7 153r24
48V13*Validate_And_Strip{3|51A9} 49>7 10|168b13 237l8 237t26
49a7 Packet{3|51A9} 10|169b7 176r10 178r29 181r21 182r10 182r26 197r26 199r64
. 228r15 229r50
67X4*Invalid_IP_Packet 10|177r16 185r16 189r16 198r19 205r16 221r19
X 10 anet-ipv4.adb
33I9 Four_Bit_Type<short_short_integer> 34r8 37r18 38r18
36R9 Raw_IP_Hdr_Type 48e14 69r8 83r8 84r8 100r20 173r20
37i7*Version{33I9} 70r7 103m17 188r20 190r24
38i7*IHL{33I9} 71r7 104m17 184r20 185r66 229r38
39i7*TOS{6|38I9} 72r7 105m17
40i7*TL{6|51I9} 73r7 106m17 195r65
41i7*ID{6|51I9} 74r7 108m17
42i7*Frag_Off{6|51I9} 75r7 109m17
43i7*TTL{6|38I9} 76r7 110m17
44i7*Protocol{6|38I9} 77r7 111m17 204r20
45i7*Checksum{6|51I9} 78r7 112m17 116m17 211r65 217m20
46a7*Saddr{6|80A9} 79r7 113m17 232r53
47a7*Daddr{6|80A9} 80r7 114m17 233r53
60N4 Rightward_One_Bit 63r22 64r22
63N4 F1 70r39 70r65 71r39 71r65
64N4 F2 70r48 70r74 71r48 71r74
66N4 MSB8 70r28 70r54 71r28 71r54
88A12 Raw_IP_Hdr_Buffer_Type{3|51A9}<3|44I9> 99r20 172r20
99a7 Hdr_Buffer{88A12} 101m33 107r36 117r58 119r14
100r7 IP_Header{36R9} 101m11 103m7 104m7 105m7 106m7 108m7 109m7 110m7 111m7
. 112m7 113m7 114m7 116m7
134I15 IP_Hdr_Offset{3|44I9} 157r18
135I15 UDP_Hdr_Offset{3|44I9} 138r15 143r18 147r18 159r34
137a7 IP_Packet{3|51A9} 143m7 143r45 147m7 157m7 159r23 159r58 163r14
172a7 Hdr_Buffer{88A12} 174m33 181m7 219r61
173r7 IP_Header{36R9} 174m11 184r10 185r56 188r10 190r14 195r55 204r10 211r55
. 217m10 229r28 232r43 233r43
194i10 Total_Len{6|51I9} 197r13 199r17
208q7 Calculate_Checksum 224l11 224e29
210i10 Chk_Pkt{6|51I9} 220r13 221r65
212i10 Chk_Calc{6|51I9} 219m10 220r24 222r41
227a10 UDP_Pkt{3|51A9} 231r43 234r17 235r13 235r54
X 11 anet-udp.ads
26K14*UDP 10|29w11 148r12 231r10 235r29 11|52e13
28N4*UDP_Header_Length 10|235r33
31V13*Create_Header{3|51A9} 10|148s16
32a7 Payload{3|51A9} 10|149r12
33a7 Src_IP{6|80A9} 10|150r12
34a7 Dst_IP{6|80A9} 10|151r12
35i7 Src_Port{6|63I12} 10|152r12
36i7 Dst_Port{6|63I12} 10|153r12
41U14*Validate_Checksum 10|231s14
42a7 Packet{3|51A9} 10|231r33
43a7 Src_IP{6|80A9} 10|232r33
44a7 Dst_IP{6|80A9} 10|233r33
X 12 anet-util.ads
26K14*Util 10|28w11 117r19 219r22 12|33e14
28V13*Calculate_One_Complement{6|51I9} 10|117s24 219s27
29a7 Data{3|51A9} 10|117r50 219r53
X 15 system.ads
37K9*System 10|24w6 58r13 61r7 61r34 67r7 67r34 15|153e11
88E9*Bit_Order 10|58r20 15|88e57
88n41*Low_Order_First{88E9} 10|61r41 67r41
89e4*Default_Bit_Order{88E9} 10|61r14 67r14
X 21 s-oscons.ads
247N4*IPPROTO_UDP 10|111r43 204r46
|