/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-end_of_file.ali is in libopentoken5-dev 6.0b-4.
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 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX
RN
RV NO_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken.recognizer.end_of_file%b opentoken-recognizer-end_of_file.adb dc5c93af NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W interfaces%s interfac.ads interfac.ali
W opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U opentoken.recognizer.end_of_file%s opentoken-recognizer-end_of_file.ads 081bc0f2 EE OO PF PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20140225151544 66457d31
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-string.ads 20070406091342 90ac6797
D a-strbou.ads 20101008130255 9806fe84
D a-strbou.adb 20090409150019 adb4aa70
D a-strmap.ads 20090409150019 9cb836fb
D a-strsup.ads 20120309145048 a27dcb33
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20140225151838 69adb1b9
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-recognizer-end_of_file.ads 20150510192240 d5a4a40d
D opentoken-recognizer-end_of_file.adb 20150510192240 09f837a2
D system.ads 20151121115557 90249111
D s-exctab.ads 20140225151139 54135002
D s-fatflt.ads 20090409150019 11beb392
D s-fatgen.ads 20140129155348 9267ca45
D s-fatgen.adb 20140129155348 9ba81cee
D s-fatlfl.ads 20090409150019 378cba9f
D s-fatllf.ads 20090409150019 4d5c1475
D s-fatsfl.ads 20090409150019 e2f873d3
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-secsta.ads 20140225151139 86a2856d
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-stratt.ads 20131014135145 aedef97e
D s-stratt.adb 20090409150019 56ef263e
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 16 opentoken.ads
42K9*OpenToken 82e14 18|39r9 41r25 56r25 70r5 19|36r14 82r5
59e4*EOF_Character{character} 19|53r25
X 17 opentoken-recognizer.ads
43K19*Recognizer 16|42k9 17|78e25 18|39r19 41r35 56r35 70r15 19|36r24 82r15
46E9*Analysis_Verdict 49e14 18|68r26 19|48r26
47n7*Matches{46E9} 19|54r24
49n7*Failed{46E9} 19|56r24 64r21
52H9*Instance 57e14 18|41r46 56r46
56b7*Report{boolean} 19|77m15
X 18 opentoken-recognizer-end_of_file.ads
39K30*End_Of_File 17|43k19 18|54E9 70l26 70e37 19|36b35 82l26 82t37
41R9*Instance<17|52R9> 49p13 49r58 56c9 61e14 63P25 63r51 65P25 66r26 19|38r51
. 46r26 74r58
49V13*Get{41R9} 49>18 19|74b13 80l8 80t11
49b18 Reportable{boolean} 19|74b18 77r25
54E9 State_ID 54e32 59r15
54n22 EOF{54E9} 59r27 19|41r26 52r12 78r25
54n27 Done{54E9} 19|59r29 61r12
59e7 State{54E9} 19|41m17 51r22 59m20 78m15
63U25 Clear<17|67p14> 63=32 19|38b25 43l8 43t13
63r32 The_Token{41R9} 19|38b32 41m7
65U25 Analyze<17|74p14> 66=7 67>7 68<7 19|45b25 68l8 68t15
66r7 The_Token{41R9} 19|46b7 51r12 59m10
67e7 Next_Char{character} 19|47b7 53r13
68e7 Verdict{17|46E9} 19|48b7 54m13 56m13 64m10
|