File size: 2,692 Bytes
aaffe1f
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
V "GNAT Lib v4.9"
A -gnatwa
A -Wall
A -fstack-check=specific
A -gnatA
A -gnatwa
A -gnatwe
A -gnato
A -gnateE
A -gnata
A -gnatU
A -gnatf
A -g
A -gnatQ
A -gnaty3
A -gnatya
A -gnatyA
A -gnatyb
A -gnatye
A -gnatyf
A -gnatyh
A -gnatyi
A -gnatyk
A -gnatyl
A -gnatyn
A -gnatyO
A -gnatyM80
A -gnatyp
A -gnatyr
A -gnatyt
A -gnatyS
A -gnatyu
A -gnatyx
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U banner%b		banner.adb		bf118e39 NE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W latin_utils%s		latin_utils.ads		latin_utils.ali
W latin_utils.preface%s	latin_utils-preface.adb	latin_utils-preface.ali
W system.concat_3%s	s-conca3.adb		s-conca3.ali

U banner%s		banner.ads		4640cea3 EE NE OO PK

D ada.ads		20070406091342 3ffc8e18
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-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D banner.ads		20230322220154 4640cea3
D banner.adb		20230322220154 105b3326
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D latin_utils.ads	20230322220154 14f26ddf
D latin_utils-preface.ads  20230322220154 e90a73bc
D system.ads		20160213141829 90249111
D s-conca3.ads		20140225151544 0b705ca5
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-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-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 9 banner.ads
17K9*Banner 23l5 23e11 10|20b14 61l5 61t11
18U14*Print_Main_Banner 19>7 20>7 21>7 10|21b14 50l8 50t25
19e7 Start_File_Character{character} 10|21b33 40r43
20e7 Change_Parameters_Character{character} 10|22b33 42r43
21e7 Help_Character{character} 10|23b33 44r43
22U14*Print_Mode_Warning 10|52b14 59l8 59t26
X 10 banner.adb
25a7 Version{string} 31r59
26a7 URL{string} 33r51
27a7 Address{string} 35r42
X 13 latin_utils.ads
21K9*Latin_Utils 10|17r6 18r5 13|29e16
X 14 latin_utils-preface.ads
18K21*Preface 10|17w18 30r7 32r7 34r7 36r7 37r7 40r7 42r7 44r7 46r7 55r7
. 57r7 14|30e24
24U14*Put_Line 10|30s15 32s15 34s15 37s15 40s15 42s15 44s15 46s15 55s15 57s15
25U14*New_Line 10|36s15