/usr/lib/ada/adalib/anet/anet-receivers.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 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 | 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_ACCESS_SUBPROGRAMS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_PROTECTED_TYPES
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
RV MAX_PROTECTED_ENTRIES=2
U anet.receivers%b anet-receivers.adb de404b36 NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.tasking.protected_objects%s s-taprob.adb s-taprob.ali
W system.tasking.protected_objects.entries%s s-tpoben.adb s-tpoben.ali
W system.tasking.protected_objects.operations%s s-tpobop.adb s-tpobop.ali
U anet.receivers%s anet-receivers.ads 6ca59b82 EE NE OO PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W system%s system.ads system.ali
W system.tasking%s s-taskin.adb s-taskin.ali
W system.tasking.protected_objects%s s-taprob.adb s-taprob.ali
W system.tasking.protected_objects.entries%s s-tpoben.adb s-tpoben.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-receivers.ads 20160718084454 fd0eebef anet.receivers%s
D anet-receivers.adb 20160718084454 234ea0d9 anet.receivers%b
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-atacco.ads 20120515093410 4c36d12f system.address_to_access_conversions%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-linux.ads 20150107101203 2fda6ad1 system.linux%s
D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s
D s-oscons.ads 20160724174210 4bd50652 system.os_constants%s
D s-osinte.ads 20151016132500 64f6e3c7 system.os_interface%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-stausa.ads 20110804134155 017a0a05 system.stack_usage%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-tasinf.ads 20140613095942 2b3f8252 system.task_info%s
D s-taspri.ads 20141120144719 e3ab4429 system.task_primitives%s
D s-taskin.ads 20151023124846 0766baa7 system.tasking%s
D s-taprob.ads 20110927094500 502249e3 system.tasking.protected_objects%s
D s-tpoben.ads 20121029113218 b641f948 system.tasking.protected_objects.entries%s
D s-tpobop.ads 20090409150019 5f548bb3 system.tasking.protected_objects.operations%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 19e8 8|24r6 33r26 41r26
X 2 a-except.ads
54K13*Exceptions 349e19 8|24w10 33r30 41r30
63R9*Exception_Occurrence 317e14 8|33r41 41r41
X 7 anet.ads
36K9*Anet 136e9 8|28r9 82r5 9|24r14 102r5
X 8 anet-receivers.ads
28K14*Receivers 7|36k9 8|40E14 82l10 82e19 9|24b19 102l10 102t19
30M9*Count_Type 74r27 77r17 9|86r27
32P9*Error_Handler_Callback 33>7 34=7
33r7 E{2|63R9}
34b7 Stop_Flag{boolean}
40U14 No_Op_Cb 41>7 42=7
41r7 E{2|63R9}
42b7 Stop_Flag{boolean}
46W19 Trigger_Type 68E7 70l8 70e20 9|28b19 80l8 80t20
48U17 Activate 9|33b17 38l11 38t19
51U17 Shutdown 9|50b17 54l11 54t19
54Y13 Stop 9|66b13 70l11 70t15
57U17 Signal_Termination 9|58b17 62l11 62t29
61Y13 Wait_For_Termination 9|74b13 78l11 78t31
64V16 Is_Listening{boolean} 9|42b16 46l11 46t23
68b7 Shutdown_Requested{boolean} 9|37r10 53r10 66r23
69b7 Is_Terminated{boolean} 9|36r10 45r21 61r10 74r39
73W19 Protected_Count_Type 77E7 78l8 78e28 9|84b19 100l8 100t28
74V16 Get{30M9} 9|86b16 90l11 90t14
75U17 Increment 9|94b17 98l11 98t20
77m7 Counter{30M9} 9|89r17 97r10 97r21
X 12 system.ads
37K9*System 8|26w6 30r27 12|156e11
54N4*Max_Binary_Modulus 8|30r34
X 23 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
|