/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-simple_cyclic_task.ali is in libgnatcoll1.6-dev 1.6gpl2014-9.
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 | V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_DELAY
RV NO_TASKING
RV STATIC_PRIORITIES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U gnatcoll.ravenscar.simple_cyclic_task%b gnatcoll-ravenscar-simple_cyclic_task.adb 6e022256 NE OO PK GE IU
W gnatcoll.ravenscar%s gnatcoll-ravenscar.ads gnatcoll-ravenscar.ali
U gnatcoll.ravenscar.simple_cyclic_task%s gnatcoll-ravenscar-simple_cyclic_task.ads 571bd11f BN EE NE OO PK GE
W ada%s ada.ads ada.ali
W ada.real_time%s a-reatim.adb a-reatim.ali
W gnatcoll.ravenscar%s gnatcoll-ravenscar.ads gnatcoll-ravenscar.ali
W system%s system.ads system.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-reatim.ads 20090409150019 63f07669
D a-unccon.ads 20070406091342 f9eb8f06
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-ravenscar.ads 20140810010057 44b9854e
D gnatcoll-ravenscar-simple_cyclic_task.ads 20140810010057 e076b329
D gnatcoll-ravenscar-simple_cyclic_task.adb 20140810010057 8e74917f
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D system.ads 20150725181646 90249111
D s-atacco.ads 20120515093410 4c36d12f
D s-exctab.ads 20140225151139 54135002
D s-linux.ads 20140409145429 5b2f79a5
D s-multip.ads 20101011073009 38ac9f73
D s-oscons.ads 20150725181656 a445b120
D s-osinte.ads 20140409145429 59011f13
D s-parame.ads 20140225151139 ab8cb46a
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stausa.ads 20110804134155 017a0a05
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-tasinf.ads 20120730151500 21316953
D s-taspri.ads 20110927094500 15f617a8
D s-taprop.ads 20111212143339 1dd2e1b6
D s-taskin.ads 20140131154341 3f821f32
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 7|54r6 67r24 67r46 8|33r11
X 3 a-reatim.ads
39K13*Real_Time 139e18 7|54w10 67r28 67r50 8|33r15
41O9*Time<duration> 7|67r38 8|34r19
46O9*Time_Span<duration>
53V13*Clock{41O9} 7|67s60
55V14*"+"{41O9} 8|34s45 39s33
85V13*Milliseconds{46O9} 8|34s47 39s35
X 5 gnatcoll.ads
24K9*GNATCOLL 26e13 7|73r9 81r5 8|30r14 43r5
X 6 gnatcoll-ravenscar.ads
35K18*Ravenscar 5|24k9 6|43e23 7|73r18 81r14 8|30r23 43r14
37I12*Millisecond{integer} 7|61r12 64r13
X 7 gnatcoll-ravenscar-simple_cyclic_task.ads
58i4 Task_Priority{11|106I12} 78r24
61i4 Phase{6|37I12} 8|34r61
64i4 Period{6|37I12} 8|39r49
67o4 System_Start_Time{3|41O9} 8|34r27
70U19 Cyclic_Operation 8|38s10
73k28*Simple_Cyclic_Task 6|35k18 7|58z4 61z4 64z4 67z4 70z19 77E9 81l24 81e42
. 8|30b33 43l24 43t42
77t9 Simple_Cyclic_Task 8|32b14 41l8 41t26
X 8 gnatcoll-ravenscar-simple_cyclic_task.adb
34o7 Next_Time{3|41O9} 37r22 39m10 39r23
X 11 system.ads
37K9*System 7|53w6 58r20 11|152e11
105I12*Any_Priority{integer}
106I12*Priority{105I12} 7|58r27
X 21 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
|