/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-production-list-print.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 | 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_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 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 a-uncdea.ads 20070406091342 f15a5ed1
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-production.ads 20150510192240 f4220730
D opentoken-production-list.ads 20150510192240 94bfafd8
D opentoken-production-list-print.ads 20150510192240 bf602f32
D opentoken-production-list-print.adb 20150510192240 b296fe5f
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-text_feeder.ads 20150510192240 6fb472c4
D opentoken-token.ads 20150510192240 f518d836
D opentoken-token-enumerated.ads 20150510192240 fdf7729b
D opentoken-token-enumerated-list.ads 20150510192240 9e58d338
D opentoken-token-enumerated-nonterminal.ads 20150510192240 77d54e19
D opentoken-token-linked_list.ads 20150510192240 6abdfc9f
D system.ads 20151121115557 90249111
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-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-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 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
|