/usr/lib/x86_64-linux-gnu/ada/adalib/alog/alog-exceptions.ali is in libalog3-dev 0.5.2-3.
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 | V "GNAT Lib v7"
A -O2
A -O2
A -gnatA
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatwa
A -gnatwl
A -gnatf
A -fstack-check=specific
A -gnato
A -gnatwe
A -g
A -fdebug-prefix-map=/build/libalog-FZCAPe/libalog-0.5.2=.
A -fstack-protector-strong
A -g
A -fdebug-prefix-map=/build/libalog-FZCAPe/libalog-0.5.2=.
A -fstack-protector-strong
A -mtune=generic
A -march=x86-64
P DB ZX
RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U alog.exceptions%s alog-exceptions.ads b7998283 NE OO PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.task_identification%s a-taside.adb a-taside.ali
W alog%s alog.ads alog.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-taside.ads 20160420090448 c6417f71 ada.task_identification%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D alog.ads 20160708130246 7e9aed5d alog%s
D alog-exceptions.ads 20160708130246 265b027a alog.exceptions%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D system.ads 20170510173650 4635ec04 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-linux.ads 20150107101203 2fda6ad1 system.linux%s
D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s
D s-oscons.ads 20170910215851 7b5577db system.os_constants%s
D s-osinte.ads 20170314092617 ad16bc4a 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 20170112134946 05d6152c system.tasking%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 6|23r6 24r6 31r16 32r16
X 2 a-except.ads
54K13*Exceptions 349e19 6|23w10 31r20
63R9*Exception_Occurrence 317e14 6|31r31
X 3 a-taside.ads
39K13*Task_Identification 97e28 6|24w10 32r20
49P9*Task_Id<24|109P9> 6|32r40
X 5 alog.ads
27K9*Alog 50e9 6|28r9 36r5
X 6 alog-exceptions.ads
28K14*Exceptions 5|27k9 6|36l10 36e20
30P9*Exception_Handler 31>7 32>7
31r7 Except{2|63R9}
32p7 Caller{3|49P9}
X 19 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 24 s-taskin.ads
109P9*Task_Id(107R9)
|