/usr/lib/x86_64-linux-gnu/ada/adalib/florist/posix-process_times.ali is in libflorist2014-dev 2014-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 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatVa
A -gnata
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatA
P ZX
RN
RV NO_UNCHECKED_ACCESS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U posix.process_times%b posix-process_times.adb 503d8289 NE OO PK IU
W posix%s posix.adb posix.ali
U posix.process_times%s posix-process_times.ads af246f19 EE OO PK IU
W posix%s posix.adb posix.ali
W posix.c%s posix-c.adb posix-c.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 ada_streams.ads 20140406181312 f075057d
D interfac.ads 20140225151838 69adb1b9
D posix.ads 20141005095935 b1b1faed
D posix-c.ads 20141005095935 39b9495f
D posix-process_times.ads 20140406181312 272cdcab
D posix-process_times.adb 20140406181312 77115e22
D system.ads 20140921225607 90249111
D s-exctab.ads 20140225151139 54135002
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
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
D unchconv.ads 20070406091342 ca2f9e18
X 9 posix.ads
43K9*POSIX 642e10 11|38r6 39r9 41r27 57r31 57r51 58r31 61r27 63r21 64r27
. 67r5 12|39r14 41r8 114r5
X 10 posix-c.ads
42K15*C 2642e12 11|38w12 41r33 57r37 57r57 58r37 61r33 63r27 64r33 12|41r14
60I9*int<integer> 11|57r39
68I9*long<long_integer> 11|57r59
90M9*clock_t 11|41r35 64r35 12|47r42
367N4*SC_CLK_TCK 11|61r35
949R9*struct_tms 954e14 11|63r29
950m7*tms_utime{90M9} 12|82r36
951m7*tms_stime{90M9} 12|91r36
952m7*tms_cutime{90M9} 12|101r36
953m7*tms_cstime{90M9} 12|111r36
968P9*tms_ptr(949R9) 12|47r26
1326a4*sysconf_LINKNAME{string} 11|58r39
1356a4*times_LINKNAME{string} 12|48r29
X 11 posix-process_times.ads
39K15*Process_Times 9|43k9 11|57E13 67l11 67e24 12|39b20 114l11 114t24
41M9*Tick_Count<10|90M9> 43r32 44r38 47r65 48r61 49r63 51r14 53r14 60r32
. 61r6 12|50r38 53r14 71r65 73r14 80r61 82r14 89r63 91r14 99r14 101r14 109r14
. 111r14
43m4*Ticks_Per_Second{41M9} 60c4
44V13*Elapsed_Real_Time{41M9} 12|50b13 54l8 54t25
45R9*Process_Times 46r38 47r43 48r39 49r41 50r51 52r53 62c9 65e14 12|51r11
. 60r38 61r11 71r43 80r39 89r41 98r51 108r53
46V13*Get_Process_Times{45R9} 12|60b13 65l8 65t25
47V13*Elapsed_Real_Time_Of{41M9} 47>35 12|71b13 74l8 74t28
47r35 Times{45R9} 12|71b35 73r26
48V13*User_CPU_Time_Of{41M9} 48>31 12|80b13 83l8 83t24
48r31 Times{45R9} 12|80b31 82r26
49V13*System_CPU_Time_Of{41M9} 49>33 12|89b13 92l8 92t26
49r33 Times{45R9} 12|89b33 91r26
50V13*Descendants_User_CPU_Time_Of{41M9} 50>43 12|98b13 102l8 102t36
50r43 Times{45R9} 12|98b43 101r26
52V13*Descendants_System_CPU_Time_Of{41M9} 52>45 12|108b13 112l8 112t38
52r45 Times{45R9} 12|108b45 111r26
57V13 sysconf{10|68I9} 57>22 58b<c,sysconf>22 61s18
57i22 c_name{10|60I9}
63r7*tms{10|949R9} 12|53m35 63m39 82r32 91r32 101r32 111r32
64m7*Elapsed_Real_Time{10|90M9} 12|63m9 73r32
X 12 posix-process_times.adb
47V13 times{10|90M9} 47>20 48b<c,times>22 53s26 63s30
47p20 buf{10|968P9}
51r7 T{11|45R9} 53m33 53r33
61r7 t{11|45R9} 63m7 63m37 63r37 64r14
|