/usr/lib/ada/adalib/gnatvsn/stand.ali is in libgnatvsn4.9-dev 4.9.3-3ubuntu5.
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 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 | V "GNAT Lib v4.9"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV SPARK_05
U stand%b stand.adb c53fe63b NE OO PK
W system%s system.ads system.ali
W tree_io%s tree_io.adb tree_io.ali
U stand%s stand.ads 41f343bf EE NE OO PK
W types%s types.adb types.ali
D ada.ads 20070406091342 3ffc8e18
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D stand.ads 20140224150940 4852f602
D stand.adb 20140218115635 8f832bbe
D system.ads 20160213141829 90249111
D s-exctab.ads 20140225151139 54135002
D s-os_lib.ads 20140225151139 73b554c6
D s-stalib.ads 20140225151139 a891183f
D s-string.ads 20140225151139 8fe54fb7
D s-unstyp.ads 20140225151139 510692af
D tree_io.ads 20130910150933 92caaa96
D types.ads 20140129155348 09a1b5bd
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
X 4 stand.ads
38K9*Stand 492l5 492e10 5|35b14 137l5 137t10
40E9*Standard_Entity_Type 212e13 215r6 218r6 221r6 224r7 227r7 229r46
45n7*S_Standard{40E9} 245r57
46n7*S_ASCII{40E9} 247r57
52n7*S_Boolean{40E9} 215r33 255r57
54n7*S_Short_Short_Integer{40E9} 275r57
55n7*S_Short_Integer{40E9} 276r57
56n7*S_Integer{40E9} 277r57
57n7*S_Long_Integer{40E9} 278r57
58n7*S_Long_Long_Integer{40E9} 279r57
60n7*S_Natural{40E9} 261r57
61n7*S_Positive{40E9} 262r57
63n7*S_Short_Float{40E9} 270r57
64n7*S_Float{40E9} 271r57
65n7*S_Long_Float{40E9} 272r57
66n7*S_Long_Long_Float{40E9} 273r57
68n7*S_Character{40E9} 248r57
69n7*S_Wide_Character{40E9} 249r57
70n7*S_Wide_Wide_Character{40E9} 250r57
72n7*S_String{40E9} 251r57
73n7*S_Wide_String{40E9} 252r57
74n7*S_Wide_Wide_String{40E9} 253r57
76n7*S_Duration{40E9} 215r46 259r57
80n7*S_False{40E9} 256r57
81n7*S_True{40E9} 257r57
85n7*S_Constraint_Error{40E9} 218r33 264r57
86n7*S_Numeric_Error{40E9} 265r57
87n7*S_Program_Error{40E9} 266r57
88n7*S_Storage_Error{40E9} 267r57
89n7*S_Tasking_Error{40E9} 218r55 268r57
93n7*S_Op_Add{40E9} 224r34 281r57
94n7*S_Op_And{40E9} 282r57
95n7*S_Op_Concat{40E9} 283r57
96n7*S_Op_Concatw{40E9} 284r57
97n7*S_Op_Concatww{40E9} 285r57
98n7*S_Op_Divide{40E9} 286r57
99n7*S_Op_Eq{40E9} 287r57
100n7*S_Op_Expon{40E9} 288r57
101n7*S_Op_Ge{40E9} 289r57
102n7*S_Op_Gt{40E9} 290r57
103n7*S_Op_Le{40E9} 291r57
104n7*S_Op_Lt{40E9} 292r57
105n7*S_Op_Mod{40E9} 293r57
106n7*S_Op_Multiply{40E9} 294r57
107n7*S_Op_Ne{40E9} 295r57
108n7*S_Op_Or{40E9} 296r57
109n7*S_Op_Rem{40E9} 297r57
110n7*S_Op_Subtract{40E9} 298r57
111n7*S_Op_Xor{40E9} 224r46 299r57
115n7*S_Op_Abs{40E9} 227r34 301r57
116n7*S_Op_Minus{40E9} 302r57
117n7*S_Op_Not{40E9} 303r57
118n7*S_Op_Plus{40E9} 227r46 304r57
123n7*S_NUL{40E9} 221r33
124n7*S_SOH{40E9}
125n7*S_STX{40E9}
126n7*S_ETX{40E9}
127n7*S_EOT{40E9}
128n7*S_ENQ{40E9}
129n7*S_ACK{40E9}
130n7*S_BEL{40E9}
131n7*S_BS{40E9}
132n7*S_HT{40E9}
133n7*S_LF{40E9}
134n7*S_VT{40E9}
135n7*S_FF{40E9}
136n7*S_CR{40E9}
137n7*S_SO{40E9}
138n7*S_SI{40E9}
139n7*S_DLE{40E9}
140n7*S_DC1{40E9}
141n7*S_DC2{40E9}
142n7*S_DC3{40E9}
143n7*S_DC4{40E9}
144n7*S_NAK{40E9}
145n7*S_SYN{40E9}
146n7*S_ETB{40E9}
147n7*S_CAN{40E9}
148n7*S_EM{40E9}
149n7*S_SUB{40E9}
150n7*S_ESC{40E9}
151n7*S_FS{40E9}
152n7*S_GS{40E9}
153n7*S_RS{40E9}
154n7*S_US{40E9}
158n7*S_Exclam{40E9}
159n7*S_Quotation{40E9}
160n7*S_Sharp{40E9}
161n7*S_Dollar{40E9}
162n7*S_Percent{40E9}
163n7*S_Ampersand{40E9}
165n7*S_Colon{40E9}
166n7*S_Semicolon{40E9}
168n7*S_Query{40E9}
169n7*S_At_Sign{40E9}
171n7*S_L_Bracket{40E9}
172n7*S_Back_Slash{40E9}
173n7*S_R_Bracket{40E9}
174n7*S_Circumflex{40E9}
175n7*S_Underline{40E9}
176n7*S_Grave{40E9}
178n7*S_LC_A{40E9}
179n7*S_LC_B{40E9}
180n7*S_LC_C{40E9}
181n7*S_LC_D{40E9}
182n7*S_LC_E{40E9}
183n7*S_LC_F{40E9}
184n7*S_LC_G{40E9}
185n7*S_LC_H{40E9}
186n7*S_LC_I{40E9}
187n7*S_LC_J{40E9}
188n7*S_LC_K{40E9}
189n7*S_LC_L{40E9}
190n7*S_LC_M{40E9}
191n7*S_LC_N{40E9}
192n7*S_LC_O{40E9}
193n7*S_LC_P{40E9}
194n7*S_LC_Q{40E9}
195n7*S_LC_R{40E9}
196n7*S_LC_S{40E9}
197n7*S_LC_T{40E9}
198n7*S_LC_U{40E9}
199n7*S_LC_V{40E9}
200n7*S_LC_W{40E9}
201n7*S_LC_X{40E9}
202n7*S_LC_Y{40E9}
203n7*S_LC_Z{40E9}
205n7*S_L_BRACE{40E9}
206n7*S_BAR{40E9}
207n7*S_R_BRACE{40E9}
208n7*S_TILDE{40E9}
212n7*S_DEL{40E9} 221r42
214E12*S_Types{40E9}
217E12*S_Exceptions{40E9}
220E12*S_ASCII_Names{40E9}
223E12*S_Binary_Ops{40E9}
226E12*S_Unary_Ops{40E9}
229A9*Standard_Entity_Array_Type(13|384I9)<40E9> 231r22 243r9 5|44r24 94r24
231a4*Standard_Entity{229A9} 243r44 5|43m23 43r23 93m24 93r24
236i4*Standard_Package_Node{13|384I9} 5|46m27 46r27 96r28
243a4*SE=243:44{229A9} 245r53 247r53 248r53 249r53 250r53 251r53 252r53 253r53
. 255r53 256r53 257r53 259r53 261r53 262r53 264r53 265r53 266r53 267r53 268r53
. 270r53 271r53 272r53 273r53 275r53 276r53 277r53 278r53 279r53 281r53 282r53
. 283r53 284r53 285r53 286r53 287r53 288r53 289r53 290r53 291r53 292r53 293r53
. 294r53 295r53 296r53 297r53 298r53 299r53 301r53 302r53 303r53 304r53
245i4*Standard_Standard=245:53{13|384I9}
247i4*Standard_ASCII=247:53{13|384I9}
248i4*Standard_Character=248:53{13|384I9}
249i4*Standard_Wide_Character=249:53{13|384I9}
250i4*Standard_Wide_Wide_Character=250:53{13|384I9}
251i4*Standard_String=251:53{13|384I9}
252i4*Standard_Wide_String=252:53{13|384I9}
253i4*Standard_Wide_Wide_String=253:53{13|384I9}
255i4*Standard_Boolean=255:53{13|384I9}
256i4*Standard_False=256:53{13|384I9}
257i4*Standard_True=257:53{13|384I9}
259i4*Standard_Duration=259:53{13|384I9}
261i4*Standard_Natural=261:53{13|384I9}
262i4*Standard_Positive=262:53{13|384I9}
264i4*Standard_Constraint_Error=264:53{13|384I9}
265i4*Standard_Numeric_Error=265:53{13|384I9}
266i4*Standard_Program_Error=266:53{13|384I9}
267i4*Standard_Storage_Error=267:53{13|384I9}
268i4*Standard_Tasking_Error=268:53{13|384I9}
270i4*Standard_Short_Float=270:53{13|384I9}
271i4*Standard_Float=271:53{13|384I9}
272i4*Standard_Long_Float=272:53{13|384I9}
273i4*Standard_Long_Long_Float=273:53{13|384I9}
275i4*Standard_Short_Short_Integer=275:53{13|384I9}
276i4*Standard_Short_Integer=276:53{13|384I9}
277i4*Standard_Integer=277:53{13|384I9}
278i4*Standard_Long_Integer=278:53{13|384I9}
279i4*Standard_Long_Long_Integer=279:53{13|384I9}
281i4*Standard_Op_Add=281:53{13|384I9}
282i4*Standard_Op_And=282:53{13|384I9}
283i4*Standard_Op_Concat=283:53{13|384I9}
284i4*Standard_Op_Concatw=284:53{13|384I9}
285i4*Standard_Op_Concatww=285:53{13|384I9}
286i4*Standard_Op_Divide=286:53{13|384I9}
287i4*Standard_Op_Eq=287:53{13|384I9}
288i4*Standard_Op_Expon=288:53{13|384I9}
289i4*Standard_Op_Ge=289:53{13|384I9}
290i4*Standard_Op_Gt=290:53{13|384I9}
291i4*Standard_Op_Le=291:53{13|384I9}
292i4*Standard_Op_Lt=292:53{13|384I9}
293i4*Standard_Op_Mod=293:53{13|384I9}
294i4*Standard_Op_Multiply=294:53{13|384I9}
295i4*Standard_Op_Ne=295:53{13|384I9}
296i4*Standard_Op_Or=296:53{13|384I9}
297i4*Standard_Op_Rem=297:53{13|384I9}
298i4*Standard_Op_Subtract=298:53{13|384I9}
299i4*Standard_Op_Xor=299:53{13|384I9}
301i4*Standard_Op_Abs=301:53{13|384I9}
302i4*Standard_Op_Minus=302:53{13|384I9}
303i4*Standard_Op_Not=303:53{13|384I9}
304i4*Standard_Op_Plus=304:53{13|384I9}
306i4*Last_Standard_Node_Id{13|384I9} 5|47m27 47r27 97r28
309i4*Last_Standard_List_Id{13|433I9} 5|48m27 48r27 98r28
313a4*Boolean_Literals(13|387I12)
328i4*Standard_Void_Type{13|387I12} 5|49m27 49r27 99r28
331i4*Standard_Exception_Type{13|387I12} 5|50m27 50r27 100r28
334i4*Standard_A_String{13|387I12} 5|51m27 51r27 101r28
338i4*Standard_A_Char{13|387I12}
342i4*Standard_Debug_Renaming_Type{13|387I12}
346i4*Predefined_Float_Types{13|458I9}
360i4*Any_Id{13|387I12} 5|52m27 52r27 102r28
364i4*Any_Type{13|387I12} 5|53m27 53r27 103r28
375i4*Any_Access{13|387I12} 5|54m27 54r27 104r28
378i4*Any_Array{13|387I12} 5|55m27 55r27 105r28
381i4*Any_Boolean{13|387I12} 5|56m27 56r27 106r28
384i4*Any_Character{13|387I12} 5|57m27 57r27 107r28
389i4*Any_Composite{13|387I12} 5|58m27 58r27 108r28
393i4*Any_Discrete{13|387I12} 5|59m27 59r27 109r28
396i4*Any_Fixed{13|387I12} 5|60m27 60r27 110r28
399i4*Any_Integer{13|387I12} 5|61m27 61r27 111r28
402i4*Any_Modular{13|387I12}
407i4*Any_Numeric{13|387I12} 5|62m27 62r27 112r28
410i4*Any_Real{13|387I12} 5|63m27 63r27 113r28
413i4*Any_Scalar{13|387I12} 5|64m27 64r27 114r28
416i4*Any_String{13|387I12} 5|65m27 65r27 115r28
422i4*Raise_Type{13|387I12}
432i4*Universal_Integer{13|387I12} 5|66m27 66r27 116r28
437i4*Universal_Real{13|387I12} 5|67m27 67r27 117r28
444i4*Universal_Fixed{13|387I12} 5|68m27 68r27 118r28
452i4*Standard_Integer_8{13|387I12} 5|69m27 69r27 119r28
453i4*Standard_Integer_16{13|387I12} 5|70m27 70r27 120r28
454i4*Standard_Integer_32{13|387I12} 5|71m27 71r27 121r28
455i4*Standard_Integer_64{13|387I12} 5|72m27 72r27 122r28
459i4*Standard_Short_Short_Unsigned{13|387I12} 5|74m27 74r27 124r28
460i4*Standard_Short_Unsigned{13|387I12} 5|75m27 75r27 125r28
461i4*Standard_Unsigned{13|387I12} 5|76m27 76r27 126r28
462i4*Standard_Long_Unsigned{13|387I12} 5|77m27 77r27 127r28
463i4*Standard_Long_Long_Unsigned{13|387I12} 5|78m27 78r27 128r28
466i4*Standard_Unsigned_64{13|387I12} 5|73m27 73r27 123r28
469i4*Abort_Signal{13|387I12} 5|79m27 79r27 129r28
472i4*Standard_Op_Rotate_Left{13|387I12} 5|80m27 80r27 130r28
473i4*Standard_Op_Rotate_Right{13|387I12} 5|81m27 81r27 131r28
474i4*Standard_Op_Shift_Left{13|387I12} 5|82m27 82r27 132r28
475i4*Standard_Op_Shift_Right{13|387I12} 5|83m27 83r27 133r28
476i4*Standard_Op_Shift_Right_Arithmetic{13|387I12} 5|84m27 84r27 134r28
483U14*Tree_Read 5|41b14 85l8 85t17
488U14*Tree_Write 5|91b14 135l8 135t18
X 6 system.ads
37K9*System 5|32w6 32r19 6|152e11
68N4*Storage_Unit 5|44r58 94r58
X 12 tree_io.ads
45K9*Tree_IO 5|33w6 33r19 12|125e12
73U14*Tree_Read_Data 5|43s7
88U14*Tree_Read_Int 5|46s7 47s7 48s7 49s7 50s7 51s7 52s7 53s7 54s7 55s7 56s7
. 57s7 58s7 59s7 60s7 61s7 62s7 63s7 64s7 65s7 66s7 67s7 68s7 69s7 70s7 71s7
. 72s7 73s7 74s7 75s7 76s7 77s7 78s7 79s7 80s7 81s7 82s7 83s7 84s7
105U14*Tree_Write_Data 5|93s7
115U14*Tree_Write_Int 5|96s7 97s7 98s7 99s7 100s7 101s7 102s7 103s7 104s7
. 105s7 106s7 107s7 108s7 109s7 110s7 111s7 112s7 113s7 114s7 115s7 116s7
. 117s7 118s7 119s7 120s7 121s7 122s7 123s7 124s7 125s7 126s7 127s7 128s7
. 129s7 130s7 131s7 132s7 133s7 134s7
X 13 types.ads
52K9*Types 4|36w6 36r17 13|885e10
59I9*Int<integer> 5|46r22 47r22 48r22 49r22 50r22 51r22 52r22 53r22 54r22
. 55r22 56r22 57r22 58r22 59r22 60r22 61r22 62r22 63r22 64r22 65r22 66r22
. 67r22 68r22 69r22 70r22 71r22 72r22 73r22 74r22 75r22 76r22 77r22 78r22
. 79r22 80r22 81r22 82r22 83r22 84r22 96r23 97r23 98r23 99r23 100r23 101r23
. 102r23 103r23 104r23 105r23 106r23 107r23 108r23 109r23 110r23 111r23 112r23
. 113r23 114r23 115r23 116r23 117r23 118r23 119r23 120r23 121r23 122r23 123r23
. 124r23 125r23 126r23 127r23 128r23 129r23 130r23 131r23 132r23 133r23 134r23
384I9*Node_Id<integer> 4|229r71 236r28 306r28
387I12*Entity_Id{384I9} 4|245r35 247r35 248r35 249r35 250r35 251r35 252r35
. 253r35 255r35 256r35 257r35 259r35 261r35 262r35 264r35 265r35 266r35 267r35
. 268r35 270r35 271r35 272r35 273r35 275r35 276r35 277r35 278r35 279r35 281r35
. 282r35 283r35 284r35 285r35 286r35 287r35 288r35 289r35 290r35 291r35 292r35
. 293r35 294r35 295r35 296r35 297r35 298r35 299r35 301r35 302r35 303r35 304r35
. 313r42 328r26 331r31 334r26 338r22 342r35 360r13 364r15 375r17 378r16 381r18
. 384r20 389r20 393r19 396r16 399r18 402r18 407r18 410r15 413r17 416r17 422r17
. 432r24 437r21 444r22 452r26 453r26 454r26 455r26 459r36 460r36 461r36 462r36
. 463r36 466r27 469r19 472r41 473r41 474r41 475r41 476r41
433I9*List_Id<integer> 4|309r28
458I9*Elist_Id<integer> 4|346r29
|