/usr/lib/ada/adalib/anet/anet-ipv4.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 | 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_EXCEPTIONS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U anet.ipv4%b anet-ipv4.adb 20d97e06 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.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 f1d676ff 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-except.ads 20140129161953 f86a4103
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-byte_swapping.ads 20140811220322 5c646e80
D anet-constants.ads 20140811220322 ee8dd842
D anet-ipv4.ads 20140811220322 f7fb335a
D anet-ipv4.adb 20140811220322 4c8e9270
D anet-udp.ads 20140811220322 a60ee9d9
D anet-util.ads 20140811220322 1f6f1126
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D system.ads 20140727234634 90249111
D s-exctab.ads 20140225151139 54135002
D s-imgint.ads 20090409150019 02dbe0c2
D s-oscons.ads 20140727234635 a445b120
D s-parame.ads 20140225151139 ab8cb46a
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-traent.ads 20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 9|30r17 33r14 38r18 43r14 47r16 48r14 10|86r13 89r6 94r17 97r14
. 125r18 130r14 132r11 169r16 170r14 224r14
X 3 a-stream.ads
36K13*Streams 84e16 9|30r21 33r18 38r22 43r18 47r20 48r18 10|86r17 89r10
. 94r21 97r18 125r22 130r18 132r15 169r20 170r18 224r18
42M9*Stream_Element
44I9*Stream_Element_Offset<long_integer> 10|86r25 134r33 135r33 227r23 228r25
51A9*Stream_Element_Array(42M9)<44I9> 9|30r29 33r26 38r30 43r26 47r28 48r26
. 10|89r18 94r29 97r26 125r30 130r26 137r19 169r28 170r26 226r29
X 6 anet.ads
36K9*Anet 136e9 9|24r9 67r5 10|26r6 27r6 28r6 29r6 31r14 238r5
38I9*Byte<short_integer> 10|39r18 43r18 44r18
51I9*Double_Byte<integer> 10|40r18 41r18 42r18 45r18 173r20 207r30 209r21
63I12*Port_Type{51I9} 9|40r18 42r18 10|127r18 129r18
80A9*IPv4_Addr_Type(38I9)<integer> 9|31r17 32r17 39r18 41r18 10|46r18 47r18
. 95r17 96r17 126r18 128r18
X 7 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 10|26w11 106r29 116r29 194r20 208r15
26V13*Host_To_Network{6|51I9} 10|106s43 116s43
26i30 Input{6|51I9} 10|107r10 117r10
34V13*Network_To_Host{6|51I9} 10|194s34 208s29
34i30 Input{6|51I9} 10|194r51 208r46
X 8 anet-constants.ads
28K14*Constants 77e19 10|27w11 111r29 201r32
30K12*Sys=30:31 10|111r39 201r42
X 9 anet-ipv4.ads
24K14*IPv4 6|36k9 9|67l10 67e14 10|31b19 158r12 238l10 238t14
26N4*IP_Header_Length 10|89r45 183r41
29V13*Create_Header{3|51A9} 30>7 31>7 32>7 10|93b13 120l8 120t21 158s17
30a7 Payload{3|51A9} 10|94b7 107r19 159r12
31a7 Src_IP{6|80A9} 10|95b7 113r29 160r12
32a7 Dst_IP{6|80A9} 10|96b7 114r29 161r12
37V13*Create_Packet{3|51A9} 38>7 39>7 40>7 41>7 42>7 10|124b13 164l8 164t21
38a7 Payload{3|51A9} 10|125b7 138r37 143r64 149r24
39a7 Src_IP{6|80A9} 10|126b7 150r24 160r23
40i7 Src_Port{6|63I12} 10|127b7 152r24
41a7 Dst_IP{6|80A9} 10|128b7 151r24 161r23
42i7 Dst_Port{6|63I12} 10|129b7 153r24
46V13*Validate_And_Strip{3|51A9} 47>7 10|168b13 236l8 236t26
47a7 Packet{3|51A9} 10|169b7 177r10 179r29 182r21 183r10 183r26 195r22 197r61
. 227r15
65X4*Invalid_IP_Packet 10|178r16 186r16 190r16 196r16 202r16 218r19
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 174r20
37i7*Version{33I9} 70r7 103m17 189r20 191r24
38i7*IHL{33I9} 71r7 104m17 185r20 186r66 227r60
39i7*TOS{6|38I9} 72r7 105m17
40i7*TL{6|51I9} 73r7 106m17 194r70
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 201r20
45i7*Checksum{6|51I9} 78r7 112m17 116m17 208r65 214m20
46a7*Saddr{6|80A9} 79r7 113m17 231r53
47a7*Daddr{6|80A9} 80r7 114m17 232r53
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 101r33 107r36 117r58 119r14
100r7 IP_Header{36R9} 101m11 101r11 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} 175m33 175r33 182m7 216r61
173i7 Total_Len{6|51I9} 194m7 195r10 197r14 228r48
174r7 IP_Header{36R9} 175m11 175r11 185r10 186r56 189r10 191r14 194r60 201r10
. 208r55 214m10 227r50 231r43 232r43
205q7 Calculate_Checksum 221l11 221e29
207i10 Chk_Pkt{6|51I9} 217r13 218r65
209i10 Chk_Calc{6|51I9} 216m10 217r24 219r41
226a10 UDP_Pkt{3|51A9} 230r43 233r17 234r13 234r54
X 11 anet-udp.ads
24K14*UDP 10|29w11 148r12 230r10 234r29 11|50e13
26N4*UDP_Header_Length 10|234r33
29V13*Create_Header{3|51A9} 10|148s16
30a7 Payload{3|51A9} 10|149r12
31a7 Src_IP{6|80A9} 10|150r12
32a7 Dst_IP{6|80A9} 10|151r12
33i7 Src_Port{6|63I12} 10|152r12
34i7 Dst_Port{6|63I12} 10|153r12
39U14*Validate_Checksum 10|230s14
40a7 Packet{3|51A9} 10|230r33
41a7 Src_IP{6|80A9} 10|231r33
42a7 Dst_IP{6|80A9} 10|232r33
X 12 anet-util.ads
24K14*Util 10|28w11 117r19 216r22 12|43e14
26V13*Calculate_One_Complement{6|51I9} 10|117s24 216s27
27a7 Data{3|51A9} 10|117r50 216r53
X 15 system.ads
37K9*System 10|24w6 58r13 61r7 61r34 67r7 67r34 15|152e11
88E9*Bit_Order 10|58r20 15|88e57
88n41*Low_Order_First{88E9} 10|61r41 67r41
89e4*Default_Bit_Order{88E9} 10|61r14 67r14
X 18 s-oscons.ads
265N4*IPPROTO_UDP 10|111r43 201r46
|