/usr/lib/ada/adalib/anet/anet-sockets-thin-netdev.ali is in libanet1-dev 0.3.3-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 | V "GNAT Lib v6"
A -O2
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -fstack-check=specific
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -fstack-protector-strong
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.netdev%s anet-sockets-thin-netdev.ads de438852 NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W anet.sockets%s anet-sockets.adb anet-sockets.ali
W anet.sockets.thin%s anet-sockets-thin.ads anet-sockets-thin.ali
W anet.sockets.thin.sockaddr%s anet-sockets-thin-sockaddr.ads anet-sockets-thin-sockaddr.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D anet.ads 20160718084454 db94a232 anet%s
D anet-constants.ads 20160718084454 ee8dd842 anet.constants%s
D anet-os_constants.ads 20160718084454 790c2382 anet.os_constants%s
D anet-socket_families.ads 20160718084454 09edb115 anet.socket_families%s
D anet-sockets.ads 20160718084454 ec471120 anet.sockets%s
D anet-sockets-thin.ads 20160718084454 5b615886 anet.sockets.thin%s
D anet-sockets-thin-netdev.ads 20160718084454 4bffe346 anet.sockets.thin.netdev%s
D anet-sockets-thin-sockaddr.ads 20160718084454 cedd3392 anet.sockets.thin.sockaddr%s
D interfac.ads 20151118101227 4be8ce1b interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D system.ads 20151123113124 6326c08a system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-oscons.ads 20160724174210 4bd50652 system.os_constants%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%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-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
X 7 anet.ads
36K9*Anet 136e9 13|23r6 25r9 53r5
X 8 anet-constants.ads
28K14*Constants 77e19 13|36r15
75N4*IFNAMSIZ 13|36r25
X 11 anet-sockets.ads
31K14*Sockets 7|36k9 11|191e17 13|23r11 25r14 53r10
X 12 anet-sockets-thin.ads
26K22*Thin 11|31k14 12|135e22 13|23r19 25r22 53r18
X 13 anet-sockets-thin-netdev.ads
25K27*Netdev 12|26k22 13|53l23 53e29
27E9*Netdev_Request_Name 31e16 34r29
28n7*If_Addr{27E9} 39r15
29n7*If_Flags{27E9} 45r15
30n7*If_Hwaddr{27E9} 41r15
31n7*If_Index{27E9} 34r52 43r15
34R9*If_Req_Type 34d22 48e14 49r28 50r26
34e22*Name{27E9} 38r12
35a7*Ifr_Name{16|79A9}
40r13*Ifr_Addr{14|25R9}
42r13*Ifr_Hwaddr{14|25R9}
44i13*Ifr_Ifindex{16|35I9}
46i13*Ifr_Flags{16|36I9}
X 14 anet-sockets-thin-sockaddr.ads
23K27*Sockaddr 13|23w24 40r27 42r27 14|35e31
25R9*Sockaddr_Type 13|40r36 42r36 14|31e14
X 15 interfac.ads
38K9*Interfaces 13|35r18 36r49 44r27 46r27 15|183e15
X 16 i-c.ads
18K20*C 13|35r29 36r60 44r38 46r38 16|230e17
35I9*int<integer> 13|44r40
36I9*short<short_integer> 13|46r40
72E9*char<character>
74e4*nul{72E9} 13|36r62
79A9*char_array(72E9)<60M9> 13|35r31
|