/usr/lib/x86_64-linux-gnu/ada/adalib/gnatvsn/krunch.ali is in libgnatvsn7-dev 7.3.0-16ubuntu3.
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 | V "GNAT Lib v7"
A -nostdinc
A -O2
A -fPIC
A -gnatn
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U krunch%b krunch.adb 997d3593 NE OO SU
W interfaces%s interfac.ads interfac.ali
U krunch%s krunch.ads c0b4ff65 EB NE OO SU
D interfac.ads 20160502101001 5ab55268 interfaces%s
D krunch.ads 20140801093848 c0b4ff65 krunch%s
D krunch.adb 20160421091245 59c9caf6 krunch%b
D system.ads 20170510173650 4635ec04 system%s
X 2 krunch.ads
120U11*Krunch 121=4 122=4 123>4 124>4 125r24 3|32b11 256l5 256t11
121a4 Buffer{string} 3|33b4 38r19 41r33 59r15 62m7 63m7 63r33 68r15 71m7
. 72m7 72r33 76r28 78m7 78r32 82r28 84m7 84r32 88r28 90m7 90r32 94r29 96m7
. 96r32 104r39 105r39 106r39 107r39 108r39 109r39 110r39 121r33 122r33 123r33
. 124r33 125r33 126r33 127r33 139r15 143m7 165r10 167r29 168r29 170r29 171r29
. 173m10 174m10 174r42 185r10 196r10 196r35 197m10 221r42 236m13 237r15 249r10
. 251m10 251r26
122i4 Len{natural} 3|34b4 55r17 58r10 63r20 63r47 64r17 67r10 72r20 72r47
. 73r17 76r10 78r20 78r45 79r17 82r10 84r20 84r45 85r17 88r10 90r20 90r45
. 91r17 94r10 96r20 96r46 97r17 121r15 122r15 123r15 124r15 125r15 126r15
. 127r15 131r19 138r10 141r15 150r19 157m7 246m4 250m10 250r17 251r18
123i4 Maxlen{natural} 3|35b4 56r16 114r19 141r22 151r19
124b4 No_Predef{boolean} 3|36b4 53r7
X 3 krunch.adb
41e4 B1=41:33{character} 140r16 140r33 140r50 140r67
42i4 Curlen{natural} 55m7 64m7 73m7 79m7 85m7 91m7 97m7 104r18 105r18 106r18
. 107r18 108r18 109r18 110r18 131m7 150m7 156r7 157r14 164r15 169r27 174r27
. 174r59 175m10 175r20 184r18 195r25 204r10 216r23 221r26 235r25 236r34 237r40
. 240m10 240r20 248r18
43i4 Krlen{natural} 56m7 65m7 74m7 80m7 86m7 92m7 112m10 114m10 130m7 151m7
. 156r17 204r30
44i4 Num_Seps{natural} 194m4 198m10 198r22 204r19
45i4 Startloc{natural} 54m7 61m7 70m7 77m7 83m7 89m7 95m7 129m7 149m7 163r9
. 166r23 195r13 212r17
46i4 J{natural} 163m4 164r10 165r18 165r23 166r19 167r37 168r37 169r19 170r37
. 171r37 173r18 174r18 174r50 178m7 178r12
184i8 J{integer} 185r18
195i8 J{integer} 196r18 196r43 197r18
206i10 Long_Length{natural} 225r36 226m16
207i10 Long_Last{natural} 227m16 235r13 236r21 237r23
208i10 Piece_Start{natural} 217m13 225r22 226r37
209i10 Ptr{natural} 212m10 216r16 217r28 221r19 221r50 222m16 222r23 225r16
. 226r31 227r29 230m13 230r20
248i8 J{integer} 249r18 251r34
|