/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-production-list-print.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 | 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_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U opentoken.production.list.print%b opentoken-production-list-print.adb 359b24b9 NE OO PK GE
W ada%s ada.ads ada.ali
W ada.text_io%s a-textio.adb a-textio.ali
W opentoken.production.list%s opentoken-production-list.adb opentoken-production-list.ali
U opentoken.production.list.print%s opentoken-production-list-print.ads 2bdf80ea BN EE NE OO PK GE
W opentoken%s opentoken.adb opentoken.ali
W opentoken.production%s opentoken-production.adb opentoken-production.ali
W opentoken.production.list%s opentoken-production-list.adb opentoken-production-list.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-finali.ads 20151020095656 bf4f806b ada.finalization%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-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
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 a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%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-production.ads 20150510192240 f4220730 opentoken.production%s
D opentoken-production-list.ads 20150510192240 94bfafd8 opentoken.production.list%s
D opentoken-production-list-print.ads 20150510192240 bf602f32 opentoken.production.list.print%s
D opentoken-production-list-print.adb 20150510192240 b296fe5f opentoken.production.list.print%b
D opentoken-recognizer.ads 20150510192240 ddbf64ff opentoken.recognizer%s
D opentoken-text_feeder.ads 20150510192240 6fb472c4 opentoken.text_feeder%s
D opentoken-token.ads 20150510192240 f518d836 opentoken.token%s
D opentoken-token-enumerated.ads 20150510192240 fdf7729b opentoken.token.enumerated%s
D opentoken-token-enumerated-list.ads 20150510192240 9e58d338 opentoken.token.enumerated.list%s
D opentoken-token-enumerated-nonterminal.ads 20150510192240 77d54e19 opentoken.token.enumerated.nonterminal%s
D opentoken-token-linked_list.ads 20150510192240 6abdfc9f opentoken.token.linked_list%s
D system.ads 20170808154339 4635ec04 system%s
D s-crtl.ads 20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-ficobl.ads 20140718105747 078245e4 system.file_control_block%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads 20151118103153 ede33ef8 system.pool_global%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-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%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 23|26r6 26r23
X 14 a-textio.ads
49K13*Text_IO 471e16 23|26w10 26r27
242U14*Put 23|33s7 40s7
263U14*Put_Line 23|37s10
X 19 opentoken.ads
42K9*OpenToken 82e14 22|27r47 28r9 33r5 23|27r14 43r5
X 20 opentoken-production.ads
41k19*Production 19|42k9 20|152e25 22|27r57 28r19 33r15 23|27r24 43r15
93R9*Instance 150e14 22|27r68
X 21 opentoken-production-list.ads
32k30 List 20|41k19 21|111e30 22|28r30 33r26 23|27r35 43r26
34R9*Instance 107e14 22|30r31 23|29r31
67P9*List_Iterator<98P9> 23|31r11
74V13*Initial_Iterator{67P9} 23|31s28
79U14*Next_Production 23|38s10
84V13*Get_Production{20|93R9} 23|36s28
94V13*Past_Last{boolean} 23|35s20
98P9 List_Node_Ptr(97R9)
X 22 opentoken-production-list-print.ads
27U19 Print_Production 27>37 23|36s10
27r37 Item{20|93R9}
28k35 Print 21|32k30 22|27z19 33l31 33e36 23|27b40 43l31 43t36
30U14*Print 30>21 23|29b14 41l8 41t13
30r21 Item{21|34R9} 23|29b21 31r46
X 23 opentoken-production-list-print.adb
31p7 I{21|67P9} 35r31 36r44 38m27 38r27
|