/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-tribooleans.ali is in libgnatcoll1.6-dev 1.6gpl2014-6.
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 124 125 126 127 128 | 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 SS ZX
RN
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_SECONDARY_STACK
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U gnatcoll.tribooleans%b gnatcoll-tribooleans.adb 19911ac9 NE OO PK IU
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W interfaces%s interfac.ads interfac.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.val_bool%s s-valboo.adb s-valboo.ali
U gnatcoll.tribooleans%s gnatcoll-tribooleans.ads 5b64710f BN EE NE OO PK IU
W gnatcoll%s gnatcoll.ads gnatcoll.ali
D ada.ads 20070406091342 3ffc8e18
D a-unccon.ads 20070406091342 f9eb8f06
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-tribooleans.ads 20140810010057 3139d576
D gnatcoll-tribooleans.adb 20140810010057 28a8cfbf
D interfac.ads 20140225151838 69adb1b9
D system.ads 20140921225607 90249111
D s-secsta.ads 20140225151139 86a2856d
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-valboo.ads 20090409150019 fa926c1e
X 3 gnatcoll.ads
24K9*GNATCOLL 26e13 4|24r9 108r5 5|24r14 269r5
X 4 gnatcoll-tribooleans.ads
24K18*Tribooleans 3|24k9 4|108l14 108e25 5|24b23 269l14 269t25
26E9*Triboolean 26e51 34r52 37r33 42r28 42r47 48r37 48r56 49r29 49r66 50r47
. 50r66 58r36 58r55 59r28 59r65 60r46 60r65 68r37 68r56 69r29 69r66 70r47
. 70r66 78r45 79r27 83r29 83r66 84r47 84r66 85r29 85r50 85r69 95r28 96r41
. 5|26r39 26r51 26r66 40r39 40r63 45r38 45r50 45r65 59r38 59r62 64r39 64r51
. 64r66 78r39 78r63 83r38 83r50 83r65 97r38 97r62 106r52 109r17 111r17 119r33
. 121r22 128r28 128r47 131r15 131r52 132r15 132r52 133r15 133r52 141r37 141r56
. 146r29 146r66 151r47 151r66 160r36 160r55 165r28 165r65 170r46 170r65 179r37
. 179r56 184r29 184r66 189r47 189r66 198r45 201r26 203r26 207r27 210r26 212r26
. 220r29 220r66 229r47 229r66 235r16 235r37 235r56 244r28 257r41
26n24*True{26E9} 5|27r7 28r10 28r27 32r10 36r10 41r7 41r33 46r7 47r10 47r27
. 48r27 49r27 51r10 51r27 55r10 55r27 60r7 60r33 60r57 61r33 62r33 65r7 66r10
. 67r27 70r10 70r27 74r10 79r7 79r57 80r33 84r7 85r10 85r27 89r10 90r27 93r10
. 98r7 98r33 99r57 109r29 121r34 131r27 132r64 201r38 210r38 247r15 260r17
26n30*False{26E9} 5|29r10 29r27 31r7 32r27 33r10 33r27 34r27 37r10 37r27
. 41r57 42r7 42r33 42r57 43r57 48r10 50r7 52r10 52r27 56r10 61r7 61r57 66r27
. 67r10 69r7 71r10 71r27 75r10 79r33 80r7 80r57 86r10 86r27 88r7 89r27 90r10
. 94r10 98r57 99r7 99r33 111r29 131r64 132r27 203r38 212r38 248r15 262r17
26n37*Indeterminate{26E9} 5|30r10 30r27 34r10 35r7 36r27 38r10 38r27 43r7
. 43r33 49r10 53r10 53r27 54r7 56r27 57r10 57r27 62r7 62r57 68r10 68r27 72r10
. 72r27 73r7 74r27 75r27 76r10 76r27 81r7 81r33 81r57 87r10 87r27 91r10 91r27
. 92r7 93r27 94r27 95r10 95r27 100r7 100r33 100r57 133r27 133r64 249r15 266r17
34V13*To_TriBoolean{26E9} 34>28 101r19 5|106b13 113l8 113t21
34b28 Value{boolean} 5|106b28 108r10
37V13*To_Boolean{boolean} 37>25 102r19 5|119b13 122l8 122t18
37e25 Value{26E9} 5|119b25 121r14
42V14*"not"{26E9} 42>20 5|128b14 135l9 135t13
42e20 Value{26E9} 5|128b20 130r12
48V14*"and"{26E9} 48>20 48>28 5|141b14 144l9 144t13
48e20 Value1{26E9} 5|141b20 143r32
48e28 Value2{26E9} 5|141b28 143r40
49V14*"and"{26E9} 49>20 49>41 5|146b14 149l9 149t13
49e20 Value1{26E9} 5|146b20 148r32
49b41 Value2{boolean} 5|146b41 148r40
50V14*"and"{26E9} 50>20 50>38 5|151b14 154l9 154t13
50b20 Value1{boolean} 5|151b20 153r40
50e38 Value2{26E9} 5|151b38 153r32
58V14*"or"{26E9} 58>19 58>27 5|160b14 163l9 163t12
58e19 Value1{26E9} 5|160b19 162r31
58e27 Value2{26E9} 5|160b27 162r39
59V14*"or"{26E9} 59>19 59>40 5|165b14 168l9 168t12
59e19 Value1{26E9} 5|165b19 167r31
59b40 Value2{boolean} 5|165b40 167r39
60V14*"or"{26E9} 60>19 60>37 5|170b14 173l9 173t12
60b19 Value1{boolean} 5|170b19 172r39
60e37 Value2{26E9} 5|170b37 172r31
68V14*"xor"{26E9} 68>20 68>28 5|179b14 182l9 182t13
68e20 Value1{26E9} 5|179b20 181r32
68e28 Value2{26E9} 5|179b28 181r40
69V14*"xor"{26E9} 69>20 69>41 5|184b14 187l9 187t13
69e20 Value1{26E9} 5|184b20 186r32
69b41 Value2{boolean} 5|184b41 186r40
70V14*"xor"{26E9} 70>20 70>38 5|189b14 192l9 192t13
70b20 Value1{boolean} 5|189b20 191r40
70e38 Value2{26E9} 5|189b38 191r32
78V14*"="{boolean} 78>18 78>36 5|198b14 205l9 205t11
78b18 Value1{boolean} 5|198b18 200r10
78e36 Value2{26E9} 5|198b36 201r17 203r17
79V14*"="{boolean} 79>18 79>39 5|207b14 214l9 214t11
79e18 Value1{26E9} 5|207b18 210r17 212r17
79b39 Value2{boolean} 5|207b39 209r10
83V13*Equal{26E9} 83>20 83>41 5|220b13 223l8 223t13
83e20 Value1{26E9} 5|220b20 222r31
83b41 Value2{boolean} 5|220b41 222r39
84V13*Equal{26E9} 84>20 84>38 5|229b13 232l8 232t13
84b20 Value1{boolean} 5|229b20 231r39
84e38 Value2{26E9} 5|229b38 231r31
85V13*Equal{26E9} 85>20 85>41 5|234b13 238l8 238t13
85e20 Value1{26E9} 5|235b7 237r31
85e41 Value2{26E9} 5|235b28 237r39
95V13*Image{string} 95>20 5|244b13 251l8 251t13
95e20 Value{26E9} 5|244b20 246r12
96V13*Value{26E9} 96>20 5|257b13 267l8 267t13
96s20 Str{string} 5|257b20 259r25
X 5 gnatcoll-tribooleans.adb
26a4 And_Truth_Table1(4|26E9) 143r14
40a4 And_Truth_Table2(4|26E9) 148r14 153r14
45a4 Or_Truth_Table1(4|26E9) 162r14
59a4 Or_Truth_Table2(4|26E9) 167r14 172r14
64a4 Xor_Truth_Table1(4|26E9) 181r14
78a4 Xor_Truth_Table2(4|26E9) 186r14 191r14
83a4 Eq_Truth_Table1(4|26E9) 237r14
97a4 Eq_Truth_Table2(4|26E9) 222r14 231r14
|