/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-link.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 | 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
U sockets.link%s sockets-link.ads 4716ae54 NE OO PK
W sockets%s sockets.adb sockets.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-link.ads 20170917160520 8075f26e sockets.link%s
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-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 8 sockets.ads
42K9*Sockets 254e12 9|42r17 48r5
X 9 sockets-link.ads
42K25*Link 8|42k9 9|48l13 48e17
|