/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-boyer_moore.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 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 | 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_ALLOCATORS
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U gnatcoll.boyer_moore%b gnatcoll-boyer_moore.adb f4357fee NE OO PK IU
W ada%s ada.ads ada.ali
W ada.integer_text_io%s a-inteio.ads a-inteio.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.text_io%s a-textio.adb a-textio.ali
W gnat%s gnat.ads gnat.ali
W gnat.case_util%s g-casuti.adb g-casuti.ali
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W interfaces%s interfac.ads interfac.ali
W system.img_int%s s-imgint.adb s-imgint.ali
W unchecked_deallocation%s
U gnatcoll.boyer_moore%s gnatcoll-boyer_moore.ads d053cd3b EE NE OO PK IU
W gnatcoll%s gnatcoll.ads gnatcoll.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-inteio.ads 20070406091342 f64b89a4
D a-inteio.ads 20070406091342 f64b89a4
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-tiinau.ads 20090409150019 8114c8e4
D a-tiinio.ads 20090409150019 aa04e5d6
D a-tiinio.adb 20091130162119 df9cd7af
D a-unccon.ads 20070406091342 f9eb8f06
D gnat.ads 20110801150502 fd2ad2f1
D g-casuti.ads 20110801150502 0f32eb76
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-boyer_moore.ads 20140810010057 ba0e6942
D gnatcoll-boyer_moore.adb 20140810010057 ae6a970e
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D system.ads 20140921225607 90249111
D s-casuti.ads 20140225151544 240969d7
D s-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-imgint.ads 20090409150019 02dbe0c2
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 s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
D unchdeal.ads 20070406091342 214516a4
X 1 ada.ads
16K9*Ada 19e8 18|78r6 78r35 79r6 79r35
X 5 a-inteio.ads
18K13*Integer_Text_IO[11|45] 18|79w10 79r39
X 9 a-textio.ads
49K13*Text_IO 471e16 18|78w10 78r39
73I12*Field{integer}
166U14*New_Line 18|215s10 221s10 227s10 233s10 239s10 269s7 286s10
208U14*Put 18|264s13 266s13
242U14*Put 18|211s10 217s10 219s13 223s10 229s10 235s10 300s13 305s13
263U14*Put_Line 18|287s10 306s13 311s10
X 11 a-tiinio.ads
65U14*Put 18|213s13[5|18] 225s13[5|18] 231s13[5|18] 237s13[5|18]
66i7 Item{integer} 18|213r18[5|18] 225r18[5|18] 231r18[5|18] 237r18[5|18]
67i7 Width{9|73I12} 18|213r29[5|18] 225r38[5|18] 231r46[5|18] 237r49[5|18]
X 14 gnat.ads
34K9*GNAT 37e9 18|80r6 80r35
X 15 g-casuti.ads
43K14*Case_Util 77e19 18|80w11 80r40
62V13*To_Lower=63:31{character} 18|337s42 351s29
67U14*To_Lower=68:31 18|152s10
X 16 gnatcoll.ads
24K9*GNATCOLL 26e13 17|32r9 74r5 18|82r14 376r5
X 17 gnatcoll-boyer_moore.ads
32K18*Boyer_Moore 16|24k9 17|58E12 74l14 74e25 18|82b23 376l14 376t25
34R9*Pattern 41r31 50r35 53r29 68c9 73e14 18|93r20 104r31 247r35 279r20 320r29
36N4*Max_Pattern_Length 58r41
40U14*Compile 41=7 42>7 43>7 18|103b14 241l8 241t15
41r7 Motif{34R9} 18|104b7 143m10 147m7 148m7 149m7 150r7 152r20 157m7 157r30
. 159r21 162m10 162r33 167r21 167r44 172r13 172r35 181r21 181r34 182r12 182r25
. 187r13 187r26 188r12 188r25 199m7 201r16 205r13 206r13 212r19 218r19 219r25
. 236r19 237r26
42s7 From_String{string} 18|105b7 136r44 137r44 142r10 149r49 150r32 198r12
. 198r41 199r51 202r17
43b7 Case_Sensitive{boolean} 18|106b7 147r32 151r14
50U14*Free 50=20 18|247b14 254l8 254t12
50r20 Motif{34R9} 18|247b20 252m17 252r17 253m17 253r17
53V13*Search{integer} 53>21 53>38 18|320b13 374l8 374t14
53r21 Motif{34R9} 18|320b21 326r10 330r12 331r22 333r14 337r24 345r45 349r28
. 350r32 357r34 364r45 368r28 369r32
53s38 In_String{string} 18|320b38 322r26 334r25 337r52 345r52 351r39 355r25
. 357r52 364r52 369r55
58I12 Offset{natural} 63r50 64r53
63A9 Occurrence_Array(58I12)<character> 69r25
64A9 Offset_Array(58I12)<integer> 65r39 18|136r25 137r25 199r32 249r10
65P9 Offset_Array_Access(64A9) 70r25 18|249r24
66P9 String_Access(string) 71r25 18|250r65
69a7*Last_Occurrence{63A9} 18|148m13 157m13 162m16 295r31 350r38 369r38
70p7*Good_Suffix{65P9} 18|199m13 205r19 206r19 236r25 237r31 237r32 252m23
. 292r27 292r28 349r34 368r34
71p7*Motif{66P9} 18|143m16 149m13 150r13 152r26 157r36 159r27 162r39 167r27
. 167r50 172r19 172r41 181r27 181r40 182r18 182r31 187r19 187r32 188r18 188r31
. 201r22 212r25 218r25 219r30 219r31 253m23 302r26 326r16 330r18 331r28 337r30
. 357r40
72b7*Case_Sensitive{boolean} 18|147m13 333r20
X 18 gnatcoll-boyer_moore.adb
84b4 Debug{boolean} 210r10 344r19 363r19
85b4 Debug_Run{boolean} 285r10
87U14 Dump_Str 87>24 260b14 270l8 270t16 299s13 302s10
87s24 Str{string} 260b24 262r16 263r13 266r18
90U14 Dump 91>8 91>11 91>18 92=8 93>8 94>8 276b14 314l8 314t12 345s16 364s16
91i8 M{natural} 277b8 283r30
91i11 Shift{natural} 277b11 288r37 290r48 295r59 300r24 304r13 305r24 311r59
91i18 J{natural} 277b18 283r34 288r45 289r30 290r56 292r41 295r21 295r67
. 304r21 305r32 310r10
92i8 Num_Comp{natural} 278b8 283m7 283r19 312r33
93r8 Motif{17|34R9} 279b8 292r22 295r25 302r20
94s8 In_String{string} 280b8 290r37 295r48 298r13 299r23 300r32 304r25 305r36
136a7 Prefix{17|64A9} 155m7 155r15 169r18 176m10 198r33 224r19 225r26
137a7 Reverse_Prefix{17|64A9} 156m7 156r23 184r19 193m10 202r38 203r21 230r19
. 231r26
138i7 K{natural} 166r16 167r34 169m13 169r26 172r26 173m13 173r18 176r24
. 198m7 199r73 202m10 205r32 206r32
138i10 K2{natural} 180r16 181r53 184m13 184r35 187r45 190m13 190r19 193r32
139i7 Tmp{natural} 203m10 205r37 206r38
159i11 Q{integer} 162r46 162r53 167r57 172r48 176r18 182r48 188r48 193r26
201i11 L{integer} 202r54 203r17 203r37
212i14 J{integer} 213r26
218i14 J{integer} 219r38
224i14 J{integer} 225r34
230i14 J{integer} 231r42
236i14 J{integer} 237r45
248U17 Internal[40|20] 252s7
250U17 Internal[40|20] 253s7
262i11 S{integer} 263r18 266r23
321i7 M{natural} 330m7 334r42 335r18 345r22 355r42 356r18 364r22
322i7 Shift{natural} 334r16 337r63 343r23 345r25 348m13 348r22 351r50 355r16
. 357r63 362r23 364r25 367m13 367r22 369r66
323i7 J{natural} 335m13 336r19 337r37 337r71 339m16 339r21 342r16 345r32
. 349r47 350r28 351r58 356m13 357r19 357r47 357r71 358m16 358r21 361r16 364r32
. 368r47 369r28 369r74
324i7 Num_Comp{natural} 345m35 345r35 364m35 364r35
X 40 unchdeal.ads
20u11*Unchecked_Deallocation 18|77w6 248r33 250r33
|