/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-extended_digits.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 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 | 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_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCHING_CALLS
RV NO_IO
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.extended_digits%b opentoken-recognizer-extended_digits.adb 020d59bb 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.extended_digits%s opentoken-recognizer-extended_digits.ads d654fa82 EE OO PF PK
W ada%s ada.ads ada.ali
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 ada.text_io%s a-textio.adb a-textio.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-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-recognizer-extended_digits.ads 20150510192240 33866ba9
D opentoken-recognizer-extended_digits.adb 20150510192240 318b3212
D system.ads 20151121115557 90249111
D s-crtl.ads 20140225151544 840e6817
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-ficobl.ads 20120709130952 55a71d43
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
D s-wchcon.ads 20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 20|27r6 53r27 64r27 21|105r27
X 14 a-textio.ads
49K13*Text_IO 471e16 20|27w10 53r31 64r31 21|105r31
78I12*Number_Base{integer} 20|53r39 64r39 21|105r39
X 18 opentoken.ads
42K9*OpenToken 82e14 20|38r9 40r25 62r25 79r5 21|30r14 118r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 20|38r19 40r35 62r35 79r15 21|30r24 118r15
46E9*Analysis_Verdict 49e14 20|77r26 21|40r26
47n7*Matches{46E9} 21|60r32 72r24 85r32
48n7*So_Far_So_Good{46E9} 21|74r32
49n7*Failed{46E9} 21|63r32 77r32 88r32 95r21
52H9*Instance 57e14 20|40r46 62r46
56b7*Report{boolean} 21|111m15
X 20 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 19|43k19 20|60E9 79l26 79e41 21|30b35 118l26 118t41
40R9*Instance<19|52R9> 52p13 56r13 62c9 70e14 72P25 72r51 74P25 75r26 21|32r51
. 38r26 108r13
43N4*Maximum_Base
52V13*Get{40R9} 53>7 54>7 55>7 21|104b13 116l8 116t11
53i7 For_Base{14|78I12} 21|105b7 112r36
54b7 Allow_Underscores{boolean} 21|106b7 113r36
55b7 Reportable{boolean} 21|107b7 111r36
60E9 State_ID 60e67 68r15
60n22 First_Char{60E9} 68r27 21|34r26 56r12 114r36
60n34 Extended_Digit{60E9} 21|61r32 67r12 86r32
60n50 Underscore{60E9} 21|75r32 81r12
60n62 Done{60E9} 21|64r32 78r32 89r32 92r12
64i7 Number_Base{14|78I12} 21|45r101 46r101 47r101 112m15
65b7 Allow_Underscores{boolean} 21|73r46 113m15
68e7 State{60E9} 21|34m17 54r22 61m23 64m23 75m23 78m23 86m23 89m23 114m15
72U25 Clear<19|67p14> 72=32 21|32b25 35l8 35t13
72r32 The_Token{40R9} 21|32b32 34m7
74U25 Analyze<19|74p14> 75=7 76>7 77<7 21|37b25 99l8 99t15
75r7 The_Token{40R9} 21|38b7 45r91 46r91 47r91 54r12 61m13 64m13 73r36 75m13
. 78m13 86m13 89m13
76e7 Next_Char{character} 21|39b7 44r15 45r51 46r51 47r51 73r16
77e7 Verdict{19|46E9} 21|40b7 60m13 63m13 72m13 74m13 77m13 85m13 88m13 95m10
X 21 opentoken-recognizer-extended_digits.adb
42V16 Value_Is_In_Range{boolean} 42b16 50l11 50t28 59s13 71s13 84s13
|