/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-stream_io.ali is in libadasockets7-dev 1.10.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 | V "GNAT Lib v7"
A -gnatwa
A -O2
A -O2
A -Wall
A -Werror
A -g
A -gnata
A -gnatg
A -gnatwa
A -gnatwe
A -g
A -fdebug-prefix-map=/build/adasockets-qjiYL4/adasockets-1.10.1=.
A -fstack-protector-strong
P SS ZX
RN
RV NO_DISPATCHING_CALLS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_ELABORATION_CODE
U sockets.stream_io%b sockets-stream_io.adb 92db0f34 NE OO PK
W sockets%s sockets.adb sockets.ali
U sockets.stream_io%s sockets-stream_io.ads 95cc1841 EE OO PF PK
W ada%s ada.ads ada.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W sockets%s sockets.adb sockets.ali
W system%s system.ads system.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D sockets.ads 20160921111228 c7635c3a sockets%s
D sockets-stream_io.ads 20160921111228 4334cbc8 sockets.stream_io%s
D sockets-stream_io.adb 20160921111228 d1efc4fc sockets.stream_io%b
D system.ads 20170510173650 4635ec04 system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads 20170112134946 9751b57e 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-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 20e8 9|39r6 43r35 53r20 54r20 58r16 62r35 10|59r20 60r20 73r16
X 3 a-stream.ads
36K13*Streams 87e16 9|39w10 43r39 53r24 54r24 58r20 62r39 10|59r24 60r24
. 73r20
39H9*Root_Stream_Type 70e64 9|43r47 62r47
42M9*Stream_Element
44I9*Stream_Element_Offset<long_long_integer> 9|54r32 10|60r32
54A9*Stream_Element_Array(42M9)<44I9> 9|53r32 58r28 10|59r32 73r28
X 8 sockets.ads
42K9*Sockets 254e12 9|41r9 66r5 10|39r14 79r5
44R9*Socket_FD 247e14 9|47r16 63r12 10|47r16
128U14*Send 10|76s7
138U14*Receive 10|63s7
X 9 sockets-stream_io.ads
41K17*Stream_IO 8|42k9 9|62E9 66l13 66e22 10|39b22 79l13 79t22
43R9*Socket_Stream_Type<3|39R9> 45p14 46r23 51P14 52r23 56P14 57r23 62c9
. 64e14 10|46r23 58r23 72r23
45U14*Initialize 46=7 47>7 10|45b14 51l8 51t18
46r7 Stream{43R9} 10|46b7 50m7
47r7 FD{8|44R9} 10|47b7 50r20
51U14*Read<3|57p14> 52=7 53<7 54<7 10|57b14 65l8 65t12
52r7 Stream{43R9} 10|58b7 63r16
53a7 Item{3|54A9} 10|59b7 63m27 64r15
54i7 Last{3|44I9} 10|60b7 64m7
56U14*Write<3|63p14> 57=7 58>7 10|71b14 77l8 77t13
57r7 Stream{43R9} 10|72b7 76r13
58a7 Item{3|54A9} 10|73b7 76r24
63r7 FD{8|44R9} 10|50m14 63r23 76r20
|