/usr/lib/ada/adalib/gnatvsn/stand.ali is in libgnatvsn4.8-dev 4.8.2-8ubuntu3.
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 | V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV SPARK
U stand%b stand.adb afba8f4f 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 db1f428e 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 20120425151725 782094d3
D stand.adb 20090409150019 778dd774
D system.ads 20140416144310 90249111
D s-exctab.ads 20090417131547 66e51330
D s-os_lib.ads 20120709131452 cf6cfdbf
D s-stalib.ads 20130104124955 f78bcf95
D s-string.ads 20130104124955 46b01415
D s-unstyp.ads 20090409150019 6ae15c76
D tree_io.ads 20130102100426 30335df9
D types.ads 20130104092849 a33fd65d
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
X 4 stand.ads
38K9*Stand 471l5 471e10 5|35b14 127l5 127t10
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|378I9)<40E9> 231r22 243r9 5|44r24 89r24
231a4*Standard_Entity{229A9} 243r44 5|43m23 43r23 88m24 88r24
236i4*Standard_Package_Node{13|378I9} 5|46m27 46r27 91r28
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|378I9}
247i4*Standard_ASCII=247:53{13|378I9}
248i4*Standard_Character=248:53{13|378I9}
249i4*Standard_Wide_Character=249:53{13|378I9}
250i4*Standard_Wide_Wide_Character=250:53{13|378I9}
251i4*Standard_String=251:53{13|378I9}
252i4*Standard_Wide_String=252:53{13|378I9}
253i4*Standard_Wide_Wide_String=253:53{13|378I9}
255i4*Standard_Boolean=255:53{13|378I9}
256i4*Standard_False=256:53{13|378I9}
257i4*Standard_True=257:53{13|378I9}
259i4*Standard_Duration=259:53{13|378I9}
261i4*Standard_Natural=261:53{13|378I9}
262i4*Standard_Positive=262:53{13|378I9}
264i4*Standard_Constraint_Error=264:53{13|378I9}
265i4*Standard_Numeric_Error=265:53{13|378I9}
266i4*Standard_Program_Error=266:53{13|378I9}
267i4*Standard_Storage_Error=267:53{13|378I9}
268i4*Standard_Tasking_Error=268:53{13|378I9}
270i4*Standard_Short_Float=270:53{13|378I9}
271i4*Standard_Float=271:53{13|378I9}
272i4*Standard_Long_Float=272:53{13|378I9}
273i4*Standard_Long_Long_Float=273:53{13|378I9}
275i4*Standard_Short_Short_Integer=275:53{13|378I9}
276i4*Standard_Short_Integer=276:53{13|378I9}
277i4*Standard_Integer=277:53{13|378I9}
278i4*Standard_Long_Integer=278:53{13|378I9}
279i4*Standard_Long_Long_Integer=279:53{13|378I9}
281i4*Standard_Op_Add=281:53{13|378I9}
282i4*Standard_Op_And=282:53{13|378I9}
283i4*Standard_Op_Concat=283:53{13|378I9}
284i4*Standard_Op_Concatw=284:53{13|378I9}
285i4*Standard_Op_Concatww=285:53{13|378I9}
286i4*Standard_Op_Divide=286:53{13|378I9}
287i4*Standard_Op_Eq=287:53{13|378I9}
288i4*Standard_Op_Expon=288:53{13|378I9}
289i4*Standard_Op_Ge=289:53{13|378I9}
290i4*Standard_Op_Gt=290:53{13|378I9}
291i4*Standard_Op_Le=291:53{13|378I9}
292i4*Standard_Op_Lt=292:53{13|378I9}
293i4*Standard_Op_Mod=293:53{13|378I9}
294i4*Standard_Op_Multiply=294:53{13|378I9}
295i4*Standard_Op_Ne=295:53{13|378I9}
296i4*Standard_Op_Or=296:53{13|378I9}
297i4*Standard_Op_Rem=297:53{13|378I9}
298i4*Standard_Op_Subtract=298:53{13|378I9}
299i4*Standard_Op_Xor=299:53{13|378I9}
301i4*Standard_Op_Abs=301:53{13|378I9}
302i4*Standard_Op_Minus=302:53{13|378I9}
303i4*Standard_Op_Not=303:53{13|378I9}
304i4*Standard_Op_Plus=304:53{13|378I9}
306i4*Last_Standard_Node_Id{13|378I9} 5|47m27 47r27 92r28
309i4*Last_Standard_List_Id{13|427I9} 5|48m27 48r27 93r28
313a4*Boolean_Literals(13|381I12)
328i4*Standard_Void_Type{13|381I12} 5|49m27 49r27 94r28
331i4*Standard_Exception_Type{13|381I12} 5|50m27 50r27 95r28
334i4*Standard_A_String{13|381I12} 5|51m27 51r27 96r28
338i4*Standard_A_Char{13|381I12}
342i4*Standard_Debug_Renaming_Type{13|381I12}
346i4*Predefined_Float_Types{13|452I9}
360i4*Any_Id{13|381I12} 5|52m27 52r27 97r28
364i4*Any_Type{13|381I12} 5|53m27 53r27 98r28
370i4*Any_Access{13|381I12} 5|54m27 54r27 99r28
373i4*Any_Array{13|381I12} 5|55m27 55r27 100r28
376i4*Any_Boolean{13|381I12} 5|56m27 56r27 101r28
379i4*Any_Character{13|381I12} 5|57m27 57r27 102r28
384i4*Any_Composite{13|381I12} 5|58m27 58r27 103r28
388i4*Any_Discrete{13|381I12} 5|59m27 59r27 104r28
391i4*Any_Fixed{13|381I12} 5|60m27 60r27 105r28
394i4*Any_Integer{13|381I12} 5|61m27 61r27 106r28
397i4*Any_Modular{13|381I12}
402i4*Any_Numeric{13|381I12} 5|62m27 62r27 107r28
405i4*Any_Real{13|381I12} 5|63m27 63r27 108r28
408i4*Any_Scalar{13|381I12} 5|64m27 64r27 109r28
411i4*Any_String{13|381I12} 5|65m27 65r27 110r28
417i4*Universal_Integer{13|381I12} 5|66m27 66r27 111r28
422i4*Universal_Real{13|381I12} 5|67m27 67r27 112r28
429i4*Universal_Fixed{13|381I12} 5|68m27 68r27 113r28
437i4*Standard_Integer_8{13|381I12} 5|69m27 69r27 114r28
438i4*Standard_Integer_16{13|381I12} 5|70m27 70r27 115r28
439i4*Standard_Integer_32{13|381I12} 5|71m27 71r27 116r28
440i4*Standard_Integer_64{13|381I12} 5|72m27 72r27 117r28
445i4*Standard_Unsigned{13|381I12}
448i4*Abort_Signal{13|381I12} 5|73m27 73r27 118r28
451i4*Standard_Op_Rotate_Left{13|381I12} 5|74m27 74r27 119r28
452i4*Standard_Op_Rotate_Right{13|381I12} 5|75m27 75r27 120r28
453i4*Standard_Op_Shift_Left{13|381I12} 5|76m27 76r27 121r28
454i4*Standard_Op_Shift_Right{13|381I12} 5|77m27 77r27 122r28
455i4*Standard_Op_Shift_Right_Arithmetic{13|381I12} 5|78m27 78r27 123r28
462U14*Tree_Read 5|41b14 80l8 80t17
467U14*Tree_Write 5|86b14 125l8 125t18
X 6 system.ads
37K9*System 5|32w6 32r19 6|152e11
68N4*Storage_Unit 5|44r58 89r58
X 12 tree_io.ads
45K9*Tree_IO 5|33w6 33r19 12|120e12
68U14*Tree_Read_Data 5|43s7
83U14*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
100U14*Tree_Write_Data 5|88s7
110U14*Tree_Write_Int 5|91s7 92s7 93s7 94s7 95s7 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
X 13 types.ads
52K9*Types 4|36w6 36r17 13|877e10
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
. 91r23 92r23 93r23 94r23 95r23 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
378I9*Node_Id<integer> 4|229r71 236r28 306r28
381I12*Entity_Id{378I9} 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 370r17 373r16 376r18
. 379r20 384r20 388r19 391r16 394r18 397r18 402r18 405r15 408r17 411r17 417r24
. 422r21 429r22 437r26 438r26 439r26 440r26 445r24 448r19 451r41 452r41 453r41
. 454r41 455r41
427I9*List_Id<integer> 4|309r28
452I9*Elist_Id<integer> 4|346r29
|