MINI MINI MANI MO
V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_CALENDAR
RV NO_DELAY
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK
U gnat.calendar.time_io%b g-catiio.adb 8bfb0aae NE OL PK
W ada%s ada.ads ada.ali
W ada.calendar%s a-calend.adb a-calend.ali
W ada.characters%s a-charac.ads a-charac.ali
W ada.characters.handling%s a-chahan.adb a-chahan.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.unbounded%s a-strunb.adb a-strunb.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.text_io%s a-textio.adb a-textio.ali
W gnat%s gnat.ads gnat.ali
W gnat.calendar%s g-calend.adb g-calend.ali
W gnat.case_util%s g-casuti.adb g-casuti.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.img_enum_new%s s-imenne.adb s-imenne.ali
W system.img_lli%s s-imglli.adb s-imglli.ali
W system.img_llu%s s-imgllu.adb s-imgllu.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
W system.unsigned_types%s s-unstyp.ads s-unstyp.ali
W system.val_int%s s-valint.adb s-valint.ali
U gnat.calendar.time_io%s g-catiio.ads 1efff27c EE OL PK
W ada.tags%s a-tags.adb a-tags.ali
W gnat.calendar%s g-calend.adb g-calend.ali
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
D ada.ads 20121213103024 3ffc8e18
D a-calend.ads 20121213103024 d86d6c8c
D a-charac.ads 20121213103029 2d3ec45b
D a-chahan.ads 20121213103029 1d381dcd
D a-chlat1.ads 20121213103024 2825df20
D a-except.ads 20121213103024 10fcae55
D a-finali.ads 20121213103024 52ecdc1b
D a-ioexce.ads 20121213103029 8b9de6cd
D a-stream.ads 20121213103024 2ca4ee37
D a-string.ads 20121213103024 90ac6797
D a-strmap.ads 20121213103029 9cb836fb
D a-strunb.ads 20121213103024 3f91d4c5
D a-tags.ads 20121213103024 6c0509d0
D a-textio.ads 20130106093217 386df5d4
D a-unccon.ads 20121213103024 f9eb8f06
D gnat.ads 20121213103024 fd2ad2f1
D g-calend.ads 20121213103024 a65b01a8
D g-catiio.ads 20121213103029 b8a4f3d4
D g-catiio.adb 20121213103029 fec4425c
D g-casuti.ads 20121213103029 0f32eb76
D interfac.ads 20121213103024 129923ea
D i-c.ads 20121213103024 5421119b
D i-cstrea.ads 20130106093208 3286f6aa
D system.ads 20121213103024 90249111
D s-atocou.ads 20121213103024 4a9c6cb4
D s-atocou.adb 20121213103029 7116b4cf
D s-casuti.ads 20121213103029 ad1c6088
D s-crtl.ads 20130106093200 1ea48bce
D s-exctab.ads 20121213103029 66e51330
D s-ficobl.ads 20121213103029 55a71d43
D s-finmas.ads 20121213103024 b95bb341
D s-finroo.ads 20121213103024 4ff27390
D s-imenne.ads 20130106093353 8707cbf0
D s-imglli.ads 20121213103029 114f55d1
D s-imgllu.ads 20121213103024 49c900c3
D s-parame.ads 20121213103024 b6e20cc0
D s-pooglo.ads 20121213103024 542f33d0
D s-secsta.ads 20121213103024 eea35a36
D s-soflin.ads 20121213103024 24c8153c
D s-stache.ads 20121213103024 596fc1b4
D s-stalib.ads 20130106093355 f78bcf95
D s-stoele.ads 20121213103024 facd7d98
D s-stoele.adb 20121213103024 afc5dc80
D s-stopoo.ads 20121213103024 7b8fbeee
D s-stposu.ads 20121213103024 ffeba1c5
D s-stratt.ads 20121213103029 aedef97e
D s-traent.ads 20121213103024 5221ee41
D s-unstyp.ads 20121213103024 6ae15c76
D s-valint.ads 20121213103024 48a52a3f
D s-wchcon.ads 20121213103024 bfeb2e3d
X 1 ada.ads
16K9*Ada 19e8 18|112r17 117r42 146r31 19|32r6 32r35 33r6 34r6 34r35 35r6
. 56r28 132r11 197r17 526r28 530r25 553r42 820r31 822r7
X 2 a-calend.ads
36K13*Calendar 375e17 18|112r21 117r46 146r35 19|32w10 32r39 56r32 197r21
. 526r32 530r29 553r46 820r35
38I9*Time 18|112r30 117r55 146r44 19|197r30 553r55 820r44
44I12*Year_Number{integer} 19|205r20 557r16 565r27 588r27 603r25 616r25 629r25
. 647r25 661r25 676r25 691r25 707r25
45I12*Month_Number{integer} 19|56r41 206r20 526r41 530r38 558r16 566r27 589r27
. 604r25 617r25 662r25 677r25
46I12*Day_Number{integer} 19|207r20 559r16 567r27 590r27 605r25 618r25 631r25
. 649r25 663r25 678r25 693r25 709r25
50O12*Day_Duration{duration}
52V13*Clock{38I9} 19|794s20
74V13*Time_Of{38I9} 19|322s47
97V14*"-"{duration} 19|322s45
X 3 a-charac.ads
16K13*Characters 18e19 19|33r10 132r15
X 4 a-chahan.ads
36K24*Handling 150e28 19|33w21 132r26
63V13*To_Upper{character} 19|134s17
66V13*To_Lower{string} 19|135s19
X 10 a-string.ads
16K13*Strings 35e16 19|34r10 34r39
X 12 a-strunb.ads
76K21*Unbounded 489e26 19|34w18 34r47
79R9*Unbounded_String 473e14 19|203r16
82r4*Null_Unbounded_String{79R9} 19|228r17
100V13*To_String{string} 19|518s14
123V14*"&"{79R9} 19|276s36 281s36 286s36 291s36 296s36 301s36 306s36 307s72
. 308s64 309s64 340s34 340s40 342s42 349s36 369s45 373s45 377s45 387s36 388s64
. 389s64 395s36 402s36 408s36 415s36 423s42 425s42 427s42 433s36 438s36 439s63
. 440s61 446s36 451s36 465s39 477s39 484s36 492s39 498s36
131V14*"&"{79R9} 19|261s36 266s36 271s36 307s66 308s58 309s58 388s58 389s58
. 439s57 440s55 513s30
X 14 a-textio.ads
49K13*Text_IO 471e16 19|35w10 822r11
242U14*Put 19|822s19
X 16 gnat.ads
34K9*GNAT 37e9 18|35r9 154r5 19|37r6 39r14 538r7 825r5
X 17 g-calend.ads
45K14*Calendar 16|34k9 17|183e18 18|35r14 154r10 19|39r19 825r10
47E9*Day_Name 48e70 19|396r28 403r28 475r36
48n63*Sunday{47E9} 19|473r55
51I12*Hour_Number{natural} 19|208r20 560r16 574r28 724r28 753r23
52I12*Minute_Number{natural} 19|209r20 561r16 575r28 725r28 754r23
53I12*Second_Number{natural} 19|210r20 562r16 576r28 726r28 755r23
54O12*Second_Duration{2|50O12} 19|211r20 791r23
55I12*Day_In_Year_Number{positive}
56I12*Week_In_Year_Number{positive}
70V13*Day_Of_Week{47E9} 19|396s44 403s44 473s34 475s50
73V13*Day_In_Year{55I12} 19|446s45 462s37
77U14*Split 19|218s7 794s13
85o7 Sub_Second{54O12} 19|795r20
106V13*Time_Of{2|38I9} 19|813s14
132V13*Week_In_Year{56I12} 19|484s45
167V13 Julian_Day{integer} 19|459s34
X 18 g-catiio.ads
35K23*Time_IO 17|45k14 18|154l19 154e26 19|39b28 825l19 825t26
37X4*Picture_Error 19|223r16 238r22 253r22 501r25
40A9*Picture_String<string><integer> 99r24 103r23 107r29 113r17 146r60 150r29
. 151r29 152r29 19|198r17 820r60
99a4*ISO_Date{40A9} 150c4
103a4*US_Date{40A9} 151c4
107a4*European_Date{40A9} 152c4
111V13*Image{string} 112>7 113>7 19|196b13 423s44 425s44 427s44 519l8 519t13
. 822s24
112i7 Date{2|38I9} 19|197b7 218r14 322r40 396r57 403r57 423r51 425r51 427r51
. 446r58 462r50 473r47 475r63 484r59
113a7 Picture{40A9} 19|198b7 222r10 229r12 230r18 234r13 237r20 243r16 247r19
. 252r20 256r18 367r27 513r32
117V13*Value{2|38I9} 117>20 19|553b13 814l8 814t13
117s20 Date{string} 19|553b20 555r40 783r28
146U14*Put_Time 146>24 146>50 19|820b14 823l8 823t16
146i24 Date{2|38I9} 19|820b24 822r31
146a50 Picture{40A9} 19|820b50 822r37
X 19 g-catiio.adb
41E9 Month_Name 53e16 409r28 409r46 416r28 416r46
42n7 January{41E9}
43n7 February{41E9}
44n7 March{41E9}
45n7 April{41E9}
46n7 May{41E9}
47n7 June{41E9}
48n7 July{41E9}
49n7 August{41E9}
50n7 September{41E9}
51n7 October{41E9}
52n7 November{41E9}
53n7 December{41E9}
55V13 Month_Name_To_Number{2|45I12} 56>7 525b13 547l8 547t28 630s25 648s25
. 692s25 708s25
56s7 Str{string} 526b7 535r73
61E9 Padding_Mode 61e44 85r17 92r17 150r17 159r17 200r17
61n26 None{61E9} 171r18 185r39 244r27 340r67 342r69 426r27 498r51
61n32 Zero{61E9} 85r33 92r33 150r33 159r33 172r18 200r33 235r24 422r27
61n38 Space{61E9} 173r18 248r27 286r51 291r61 424r27
63M9 Sec_Number 84r17 154r21 158r17 179r32 340r49 342r51
73V13 Am_Pm{string} 73>20 100b13 107l8 107t13 301s38 310s21
73i20 H{natural} 100b20 102r10 102r24
76V13 Hour_12{positive} 76>22 113b13 122l8 122t15 281s45 291s45 307s28
76i22 H{natural} 113b22 115r10 117r13 118r17 120r17
79V13 Image{string} 79>20 79>34 128b13 142l8 142t13 396s21 403s21 409s21
. 416s21
79s20 Str{string} 129b7 134r27 134r32 135r29 135r34 135r51
79i34 Length{natural} 130b7 137r10 140r29
83V13 Image{string} 84>7 85>7 86>7 154s14 157b13 190l8 190t13 340s42 342s44
84m7 N{63M9} 158b7 179r50
85e7 Padding{61E9} 159b7 170r15 185r29
86i7 Length{natural} 160b7 185r10 188r33
90V13 Image{string} 91>7 92>7 93>7 148b13 155l8 155t13 276s38 281s38 286s38
. 291s38 296s38 307s21 308s21 309s21 349s38 388s21 389s21 390s21 433s38 439s31
. 440s31 441s31 446s38 451s38 465s41 477s41 484s38 492s41 498s38
91i7 N{natural} 149b7 154r33
92e7 Padding{61E9} 150b7 154r37
93i7 Length{natural} 151b7 154r46 307r53 308r45 309r45 349r62 388r43 389r45
. 390r45 477r53
133a7 Local=134:44{string} 138r17 140r17
162V16 Pad_Char{string} 168b16 175l11 175t19 180s32
179a7 NI{string} 180r43 180r52 186r17 186r26
180a7 NIP=180:41{string} 188r17 188r22 188r47
200e7 Padding{61E9} 235m13 244m16 248m16 276r51 281r61 296r53 307r44 308r36
. 309r36 349r53 388r34 389r36 390r36 421r24 433r50 439r45 440r43 441r44 446r65
. 451r52 465r54 484r66 492r51
203r7 Result{12|79R9} 228m7 261m19 261r29 266m19 266r29 271m19 271r29 276m19
. 276r29 281m19 281r29 286m19 286r29 291m19 291r29 296m19 296r29 301m19 301r29
. 306m19 306r29 339m25 340r27 342m25 342r35 349m19 349r29 369m28 369r38 373m28
. 373r38 377m28 377r38 387m19 387r29 395m19 395r29 402m19 402r29 408m19 408r29
. 415m19 415r29 423m25 423r35 425m25 425r35 427m25 427r35 433m19 433r29 438m19
. 438r29 446m19 446r29 451m19 451r29 465m22 465r32 477m22 477r32 484m19 484r29
. 492m22 492r32 498m19 498r29 513m13 513r23 518r25
205i7 Year{2|44I12} 218m20 441r38 459r46 490r46 490r54 498r45
206i7 Month{2|45I12} 218m26 409r62 416r62 439r38 451r45
207i7 Day{2|46I12} 218m33 433r45 440r38
208i7 Hour{17|51I12} 218m38 276r45 281r54 286r45 291r54 301r45 307r37 310r28
. 388r28
209i7 Minute{17|52I12} 218m44 296r45 308r28 389r28
210i7 Second{17|53I12} 218m52 309r28 349r45 390r28
211o7 Sub_Second{17|54O12} 218m60 358r48
213i7 P{positive} 229m7 230r13 234r22 237r16 243r25 245m16 245r21 247r28
. 249m16 249r21 252r16 256r27 367r36 508m13 508r18 513r41 514m13 514r18
321b22 Neg{boolean} 331m25 338r25
322o22 Sec{duration} 328r25 329m25 329r32 330r28 332m25 332r37 340r61 342r63
357i22 Sub_Sec{long_integer} 360r49
360a22 Img1{string} 362r45 362r51 362r69
361a22 Img2=362:43{string} 364r32 364r38 364r55
363a22 Nanos{string} 370r30 370r37 370r52 374r30 374r37 374r52 377r47
458i22 Offset{natural} 462r63
461i22 Week{natural} 465r48
472i22 DOW{natural} 477r48
490i22 Y{natural} 492r48
528A15 String3{string}<integer> 530r55
529a7 Abbrev_Upper_Month_Names(528A15) 540r16 541r13 546r14
535a7 S{string} 538m32 538r32 541r44
540i11 J{integer} 541r39 542r20
554a7 D{string} 594r13 594r33 599r19 599r28 603r51 604r51 605r51 612r19 612r28
. 616r45 617r45 618r45 625r19 625r28 629r45 630r47 631r45 638r16 643r19 647r45
. 648r47 649r45 661r44 662r45 663r43 670r20 670r42 671r26 671r35 676r44 677r45
. 678r43 685r20 685r42 686r26 686r35 691r44 692r47 693r43 700r19 701r26 702r26
. 707r44 708r47 709r43 745r37 749r16 749r45 753r44 754r44 755r44 783m7 785r32
555i7 D_Length{natural} 595r16 595r37 608r19 608r41 621r19 621r41 639r16
. 639r38 657r16 657r37 666r19 666r41 681r19 681r41 696r19 696r41 733r21 741r25
. 768r10 769r18 770r18 771r18 772r18 773r18 774r18 775r18 783r15 785r10
557i7 Year{2|44I12} 786m24 794m27 803r14 813r23
558i7 Month{2|45I12} 786m30 794m33 804r21 813r29
559i7 Day{2|46I12} 786m37 794m40 805r21 813r36
560i7 Hour{17|51I12} 787m36 794m45 798m27 806r21 813r41
561i7 Minute{17|52I12} 787m42 794m51 798m33 807r21 813r47
562i7 Second{17|53I12} 787m50 794m59 798m41 808r21 813r55
564U17 Extract_Date 565<10 566<10 567<10 568<10 587b17 716l11 716t23 786s10
565i10 Year{2|44I12} 588b10 603m16 616m16 629m16 647m16 661m16 676m16 691m16
. 707m16
566i10 Month{2|45I12} 589b10 604m16 617m16 630m16 648m16 662m16 677m16 692m16
. 708m16
567i10 Day{2|46I12} 590b10 605m16 618m16 631m16 649m16 663m16 678m16 693m16
. 709m16
568i10 Time_Start{natural} 591b10 606m16 619m16 632m16 650m16 664m16 679m16
. 694m16 710m16
572U17 Extract_Time 573>10 574<10 575<10 576<10 577>10 722b17 757l11 757t23
. 787s10 798s10
573i10 Index{positive} 723b10 733r13 741r16 745r40 749r19 749r48 753r47 753r60
. 754r47 754r60 755r47 755r60
574i10 Hour{17|51I12} 724b10 734m13 753m13
575i10 Minute{17|52I12} 725b10 735m13 754m13
576i10 Second{17|53I12} 726b10 736m13 755m13
577b10 Check_Space{boolean} 727b10 745r16 787r58 798r49
761i7 Time_Start{natural} 786m42 787r24
791o13 Discard{17|54O12} 792r34 795m34
X 20 g-casuti.ads
43K14*Case_Util 19|37w11 538r12 20|77e19
58U14*To_Upper=59:31 19|538s22
OHA YOOOO