/usr/lib/ada/adalib/anet/anet-sockets-thin-packet.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 | 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_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U anet.sockets.thin.packet%s anet-sockets-thin-packet.ads e3214789 NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W anet.os_constants%s anet-os_constants.ads anet-os_constants.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-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-packet.ads 20140811220322 dc2cbef8
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 13|23r6 25r9 46r5
38I9*Byte<short_integer>
71A9*Hardware_Addr_Type(38I9)<68I9> 13|40r21
X 9 anet-os_constants.ads
23K14*OS_Constants 41e22 13|23w11 28r52
26N4*AF_PACKET 13|28r65
X 11 anet-sockets.ads
31K14*Sockets 7|36k9 11|187e17 13|25r14 46r10
X 12 anet-sockets-thin.ads
26K22*Thin 11|31k14 12|128e22 13|25r22 46r18
X 13 anet-sockets-thin-packet.ads
25K27*Packet 12|26k22 13|46l23 46e29
27R9*Sockaddr_Ll_Type 42e14 43r26
28m7*Sa_Family{15|44M9}
30m7*Sa_Protocol{15|44M9}
32i7*Sa_Ifindex{15|35I9}
34m7*Sa_Hatype{15|44M9}
36m7*Sa_Pkttype{15|47M9}
38m7*Sa_Halen{15|47M9}
40a7*Sa_Addr{7|71A9}
X 14 interfac.ads
38K9*Interfaces 13|28r21 30r21 32r21 34r21 36r21 38r21 14|179e15
X 15 i-c.ads
18K20*C 13|28r32 30r32 32r32 34r32 36r32 38r32 15|230e17
35I9*int<integer> 13|32r34
44M9*unsigned_short 13|28r34 30r34 34r34
47M9*unsigned_char 13|36r34 38r34
|