V "GNAT Lib v2012"
A -O3
A -gnatwu
A -g
A -gnato
A -gnatwa
A -gnat05
A -gnat05
A -gnatp
A -g
P SS ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnvvnnnnnnnnnnnnnnvnnvnnnnnnnnnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnn

U spark_ada_command_line%b  spark_ada_command_line.adb  54b72bb3 NE OO PK
W ada%s			ada.ads			ada.ali
W ada.command_line%s	a-comlin.adb		a-comlin.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.os_lib%s		g-os_lib.ads		g-os_lib.ali
W spark%s		spark.ads		spark.ali
W spark.ada%s		spark-ada.ads		spark-ada.ali
W spark.ada.text_io%s	spark-ada-text_io.adb	spark-ada-text_io.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U spark_ada_command_line%s  spark_ada_command_line.ads  22719490 EE NE OO PK
W spark%s		spark.ads		spark.ali
W spark.ada%s		spark-ada.ads		spark-ada.ali
W spark.ada.text_io%s	spark-ada-text_io.adb	spark-ada-text_io.ali

D ada.ads		20120510125802 3ffc8e18
D a-comlin.ads		20120510125750 e0accaa5
D a-except.ads		20120510125752 ec1b44c1
D a-finali.ads		20120510125752 52ecdc1b
D a-ioexce.ads		20120510125752 8b9de6cd
D a-stream.ads		20120510125756 2ca4ee37
D a-tags.ads		20120510125758 6c0509d0
D a-textio.ads		20120510125800 386df5d4
D a-unccon.ads		20120510125800 f9eb8f06
D a-uncdea.ads		20120510125800 f15a5ed1
D gnat.ads		20120510125812 fd2ad2f1
D g-os_lib.ads		20120510125810 0db74523
D interfac.ads		20120510125814 129923ea
D i-cstrea.ads		20120510125814 1bd72c32
D spark.ads		20110601161248 99ec3c77
D spark-ada.ads		20110601161248 ebcb8742
D spark-ada-text_io.ads	20110601161248 202f1ff3
D spark_ada_command_line.ads  20120707130424 025e8b63
D spark_ada_command_line.adb  20120707130424 a3b0c571
D system.ads		20120510125846 6daf90c4
D s-crtl.ads		20120510125824 ac77b159
D s-exctab.ads		20120510125824 66e51330
D s-ficobl.ads		20120510125824 443b9d66
D s-finmas.ads		20120510125824 b95bb341
D s-finroo.ads		20120510125824 4ff27390
D s-os_lib.ads		20120510125828 e0681e2d
D s-parame.ads		20120510125832 b6e20cc0
D s-pooglo.ads		20120510125832 542f33d0
D s-secsta.ads		20120510125832 eea35a36
D s-soflin.ads		20120510125832 24c8153c
D s-stache.ads		20120510125834 596fc1b4
D s-stalib.ads		20120510125834 f78bcf95
D s-stoele.ads		20120510125834 facd7d98
D s-stoele.adb		20120510125834 afc5dc80
D s-stopoo.ads		20120510125834 7b8fbeee
D s-string.ads		20120510125834 46b01415
D s-traent.ads		20120510125838 5221ee41
D s-unstyp.ads		20120510125838 6ae15c76
D s-wchcon.ads		20120510125840 bfeb2e3d
X 1 ada.ads
16K9*Ada 19e8 19|35r6 36r6 46r23 54r10 54r39 55r42 61r47 65r10 65r39 66r30
X 2 a-comlin.ads
38K13*Command_Line 139e21 19|35w10 46r27 55r46 61r51 66r34
41V13*Argument_Count{natural} 19|46s40
48V13*Argument{string} 19|61s64 66s47
57V13*Command_Name{string} 19|55s59
X 8 a-textio.ads
49K13*Text_IO 471e16 19|36w10 54r14 54r43 65r14 65r43
52P9*File_Type(369R9)
119V13*Standard_Error{52P9} 19|54s51 65s51
259U14*Put_Line 19|54s22 65s22
260p7 File{52P9} 19|54r31 65r31
261s7 Item{string} 19|55r13 66r13
X 11 gnat.ads
34K9*GNAT 37e9 19|38r6 57r10 67r10 75r7
X 12 g-os_lib.ads
51K14*OS_Lib=51:36 19|38w11 57r15 67r15 75r12
X 15 spark.ads
41K9*SPARK 43e10 18|57r6 70r18 19|37r6 39r10 51r18 59r7 60r38 63r10 64r13
X 16 spark-ada.ads
41K15*Ada 43e14 18|57r12 70r24 19|37r12 39r16 51r24 59r13 60r44 63r16 64r19
X 17 spark-ada-text_io.ads
56K19*Text_IO 727e22 18|57w16 70r28 19|37w16 39r20 51r28 59r17 60r48 63r20
. 64r23
69R9*File_Type 719e14 18|70r36 19|51r36
70n23*In_File{70E9} 19|60r56
91E9*Exception_T 99e38 19|39r28
91n25*No_Exception{91E9} 19|64r31
125U14*Open 19|59s25
126r7 File{69R9} 19|59r30
127e7 Mode{70E9} 19|60r30
128s7 Name{string} 19|61r30
129s7 Form{string} 19|62r30
687V13*Get_Last_Exception_File{91E9} 19|63s28
X 18 spark_ada_command_line.ads
60K9*SPARK_Ada_Command_Line 87l5 87e27 19|41b14 78l5 78t27
66V13*Argument_Count{natural} 19|44b13 47l8 47t22 53s10
69U14*Create_File_From_Argument 69>40 70<7 19|50b14 69l8 69t33
69i40 Number{natural} 19|50b40 61r73 66r56
70r7 file{17|69R9} 19|51b7 59m38 63r52
75I9*Exit_Status<integer> 77r23 78r23 81r42 85r23 86r23 19|73r42
77i4*Success{75I9} 85c4
78i4*Failure{75I9} 86c4
81U14*Exit_With_Status 81>32 19|73b14 76l8 76t24
81i32 Code{75I9} 19|73b32 75r35
X 26 s-os_lib.ads
925U14*OS_Exit 19|57s22 67s22 75s19

