/usr/lib/ada/adalib/anet/anet-sockets-thin-inet.ali is in libanet0.3.1-dev 0.3.1-1ubuntu1.
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 | 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 ZX
RN
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U anet.sockets.thin.inet%b anet-sockets-thin-inet.adb 664a539d NE OO PK
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.socket_families%s anet-socket_families.ads anet-socket_families.ali
W anet.sockets.thin%s anet-sockets-thin.ads anet-sockets-thin.ali
W interfaces%s interfac.ads interfac.ali
U anet.sockets.thin.inet%s anet-sockets-thin-inet.ads 825b8baf EE NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W anet.sockets.thin%s anet-sockets-thin.ads anet-sockets-thin.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
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-os_constants.ads 20140811220322 bdafab0d
D anet-socket_families.ads 20140811220322 09edb115
D anet-sockets.ads 20140811220322 7c5b68da
D anet-sockets-thin.ads 20140811220322 82a2527c
D anet-sockets-thin-inet.ads 20140811220322 00f9d9d3
D anet-sockets-thin-inet.adb 20140811220322 333a55db
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D system.ads 20140730121111 90249111
D s-exctab.ads 20140225151139 54135002
D s-finroo.ads 20120426095924 4ff27390
D s-oscons.ads 20140730121112 a445b120
D s-parame.ads 20140225151139 ab8cb46a
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-traent.ads 20140225151139 b5116092
X 7 anet.ads
36K9*Anet 136e9 14|23r9 25r23 73r5 15|23r6 24r6 26r14 60r5
38I9*Byte<short_integer>
51I9*Double_Byte<integer>
55A9*Byte_Array(38I9)<integer> 14|42r24
63I12*Port_Type{51I9} 14|63r17 69r17 15|32r17 48r17
80A9*IPv4_Addr_Type(38I9)<integer> 14|40r24 62r17 15|31r17
98A9*IPv6_Addr_Type(38I9)<integer> 14|47r28 68r17 15|47r17
X 8 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 15|23w11 39r18 55r18
26V13*Host_To_Network{7|51I9} 15|39s32 55s32
26i30 Input{7|51I9} 15|39r49 55r49
X 9 anet-constants.ads
28K14*Constants 77e19 15|37r29 53r29
30K12*Sys=30:31 15|37r39 53r39
X 11 anet-socket_families.ads
28K14*Socket_Families 46e25 14|25r28 15|24w11 36r29 52r29
30E9*Family_Type 35e19 14|27r35
31n7*Family_Inet{30E9} 14|28r9 32r39 39r18 15|36r45
32n7*Family_Inet6{30E9} 14|28r27 44r18 15|52r45
X 12 anet-sockets.ads
31K14*Sockets 7|36k9 12|187e17 14|23r14 73r10 15|26r19 60r10
X 13 anet-sockets-thin.ads
26K22*Thin 12|31k14 13|128e22 14|23r22 64r14 70r14 73r18 15|26r27 33r14 49r14
. 60r18
X 14 anet-sockets-thin-inet.ads
23K27*Inet 13|26k22 14|64r19 70r19 73l23 73e27 15|26b32 33r19 49r19 60l23
. 60t27
25K12*SF=25:28 27r32 28r6 28r24 32r36 39r15 44r15
27E12*Family_Inet_Type{11|30E9} 32r16
31R9*Sockaddr_In_Type 32d7 52e14 53r28 54r26 64r24 70r24 15|33r24 49r24
32e7*Family{27E12} 38r12 15|36m15 52m15
33m7*Sin_Family{17|44M9} 15|37m15 53m15
35m7*Sin_Port{17|44M9} 15|38m15 54m15
40a13*Sin_Addr{7|80A9} 15|40m15
42a13*Sin_Zero{7|55A9}
45m13*Sin_Flowinfo{17|43M9}
47a13*Sin6_Addr{7|98A9} 15|56m15
49m13*Sin_Scope_ID{17|43M9}
58N4*Sockaddr_In_Size
59N4*Sockaddr_In6_Size
61V13*Create_Inet4{31R9} 62>7 63>7 15|30b13 42l8 42t20
62a7 Address{7|80A9} 15|31b7 40r29
63i7 Port{7|63I12} 15|32b7 39r58
67V13*Create_Inet6{31R9} 68>7 69>7 15|46b13 58l8 58t20
68a7 Address{7|98A9} 15|47b7 56r29
69i7 Port{7|63I12} 15|48b7 55r58
X 16 interfac.ads
38K9*Interfaces 14|33r20 35r20 45r28 49r28 15|38r29 54r29 16|179e15
X 17 i-c.ads
18K20*C 14|33r31 35r31 45r39 49r39 15|38r40 54r40 17|230e17
43M9*unsigned 14|45r41 49r41
44M9*unsigned_short 14|33r33 35r33 15|38r42 54r42
X 21 s-oscons.ads
232N4*AF_INET 15|37r43
233N4*AF_INET6 15|53r43
|