/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken.ali is in libopentoken6.1-dev 6.0b-7.
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 | V "GNAT Lib v7"
A -O2
A -gnatA
A -g
A -fdebug-prefix-map=/build/opentoken-PUVLEa/opentoken-6.0b=.
A -fstack-protector-strong
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -fPIC
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken%b opentoken.adb 2f3e6105 NE OO PK
W ada%s ada.ads ada.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.fixed%s a-strfix.adb a-strfix.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.text_io%s a-textio.adb a-textio.ali
W system.img_int%s s-imgint.adb s-imgint.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U opentoken%s opentoken.ads be3326ea EE OO PK
W ada%s ada.ads ada.ali
W ada.characters%s a-charac.ads a-charac.ali
W ada.characters.latin_1%s a-chlat1.ads a-chlat1.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.bounded%s a-strbou.adb a-strbou.ali
W ada.tags%s a-tags.adb a-tags.ali
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
D a-strbou.adb 20090409150019 adb4aa70 ada.strings.bounded%b
D a-strfix.ads 20101008130255 d07c346e ada.strings.fixed%s
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsea.ads 20101008130255 b9bc90ba ada.strings.search%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
D a-strsup.adb 20151020093817 8db84ca1 ada.strings.superbounded%b
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-textio.ads 20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-cstrea.ads 20140801100435 e53d8b8e interfaces.c_streams%s
D opentoken.ads 20150510192240 8bdd0f75 opentoken%s
D opentoken.adb 20150510192240 4cf2afca opentoken%b
D system.ads 20170808154339 4635ec04 system%s
D s-carun8.ads 20140225151544 a903718d system.compare_array_unsigned_8%s
D s-crtl.ads 20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-exctab.adb 20140611105235 c756f391 system.exception_table%b
D s-ficobl.ads 20140718105747 078245e4 system.file_control_block%s
D s-imgint.ads 20090409150019 02dbe0c2 system.img_int%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads 20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 20e8 20|36r6 37r6 56r42 59r42 66r27 21|27r6 28r6 33r11 34r11 41r11
. 43r7
X 2 a-charac.ads
16K13*Characters 18e19 20|36r10 56r46 59r46
X 3 a-chlat1.ads
18K24*Latin_1 296e27 20|36w21 56r57 59r57
29e4*EOT{character} 20|59r65
38e4*CR{character} 20|56r65
X 7 a-string.ads
16K13*Strings 35e16 20|37r10 66r31 21|27r10 33r15 34r15 41r15
33n37*Both{33E9} 21|36r42
X 8 a-strbou.ads
39K21*Bounded 914e24 20|37w18 66r39
46k12*Generic_Bounded_Length 912e30 20|66r47
X 10 a-strfix.ads
18K21*Fixed 251e22 21|27w18 34r23 41r23
195V13*Trim{string} 21|36s14
243V14*"*"{string} 21|43s41
X 16 a-textio.ads
49K13*Text_IO 471e16 21|28w10 43r11
242U14*Put 21|43s19
X 20 opentoken.ads
42K9*OpenToken 81E4 82l5 82e14 21|29b14 46l5 46t14
44X4*Syntax_Error
46X4*Parse_Error
48X4*Grammar_Error
50X4*User_Error
52X4*Programmer_Error
56e4*EOL_Character{character}
59e4*EOF_Character{character}
64N4*Max_String_Length 66r71
66K12*Buffers[8|46]
72i4*Trace_Parse{integer}
75U14*Trace_Put 75>25 21|39b14 44l8 44t17
75a25 Message{string} 21|39b25 43r49
77V13*Int_Image{string} 77>24 21|31b13 37l8 37t17
77i24 Item{integer} 21|31b24 36r35
81i4 Trace_Indent{integer} 21|43r24
|