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 nnnnnnnnnnnnnnnnnnvnnvnnnnvnnvnnnnnnnnnnnnnnvnnnnnnvnnnnnnvnnnnnnnnvnnvnnnnnnnv1nnnv1+nn

U udp_dns_package%b	udp_dns_package.adb	b2351600 OO PF PK
W ada.tags%s		a-tags.adb		a-tags.ali
W dns_network%s		dns_network.adb		dns_network.ali  AD
W dns_network_receive%s	dns_network_receive.adb	dns_network_receive.ali  AD
W process_dns_request%s	process_dns_request.adb	process_dns_request.ali  AD
W protected_spark_io_05%s  protected_spark_io_05.adb  protected_spark_io_05.ali  AD
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.tasking.stages%s  s-tassta.adb		s-tassta.ali

U udp_dns_package%s	udp_dns_package.ads	ab7143f1 EE NE OO PK
W ada%s			ada.ads			ada.ali
W ada.real_time%s	a-reatim.adb		a-reatim.ali
W ada.synchronous_task_control%s  a-sytaco.adb	a-sytaco.ali
W dns_network%s		dns_network.adb		dns_network.ali
W dns_network_receive%s	dns_network_receive.adb	dns_network_receive.ali
W dns_types%s		dns_types.adb		dns_types.ali
W process_dns_request%s	process_dns_request.adb	process_dns_request.ali
W system%s		system.ads		system.ali
W system.parameters%s	s-parame.adb		s-parame.ali
W system.task_info%s	s-tasinf.adb		s-tasinf.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.tasking.stages%s  s-tassta.adb		s-tassta.ali

D ada.ads		20120510125802 3ffc8e18
D a-except.ads		20120510125752 ec1b44c1
D a-finali.ads		20120510125752 52ecdc1b
D a-ioexce.ads		20120510125752 8b9de6cd
D a-reatim.ads		20120510125754 63f07669
D a-stream.ads		20120510125756 2ca4ee37
D a-sytaco.ads		20120510125758 a7cf8eb9
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 dns_network.ads	20120707130602 f1ab7b6e
D dns_network_receive.ads  20120707130414 b5e0b4ea
D dns_table_pkg.ads	20130116205608 38043df2
D dns_types.ads		20130116175136 d000ba3f
D gnat.ads		20120510125812 fd2ad2f1
D g-socket.ads		20120510125810 0c5639de
D interfac.ads		20120510125814 129923ea
D i-c.ads		20120510125814 5421119b
D i-cstrin.ads		20120510125814 341d0ddf
D i-cstrea.ads		20120510125814 1bd72c32
D process_dns_request.ads  20130116175136 0b963c13
D protected_spark_io_05.ads  20120707130420 0203062f
D rr_type.ads		20130116175136 2b44fbc4
D rr_type-a_record_type.ads  20120707130420 0d6b36f2
D rr_type-aaaa_record_type.ads  20120707130420 1ee8fe4c
D rr_type-cname_record_type.ads  20120707130420 40c48ba5
D rr_type-dnskey_record_type.ads  20130116175136 71b14674
D rr_type-mx_record_type.ads  20120707130420 dd5a7d35
D rr_type-ns_record_type.ads  20120707130420 9cfbe856
D rr_type-nsec_record_type.ads  20130116175136 8f720089
D rr_type-ptr_record_type.ads  20120707130422 fa9794c7
D rr_type-rrsig_record_type.ads  20130116175136 73e1857d
D rr_type-soa_record_type.ads  20120707130422 250fc6ac
D system.ads		20120510125846 6daf90c4
D s-atacco.ads		20120510125818 4c36d12f
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-multip.ads		20120510125828 38ac9f73
D s-oscons.ads		20120511092646 6ac5d75b
D s-osinte.ads		20120510125828 ecf1fbfd
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-stausa.ads		20120510125834 017a0a05
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-stratt.ads		20120510125834 aedef97e
D s-string.ads		20120510125834 46b01415
D s-ststop.ads		20120510125834 ee472be4
D s-tasinf.ads		20120510125836 859198ad
D s-taspri.ads		20120510125836 196697f7
D s-taprop.ads		20120510125834 1dd2e1b6
D s-taskin.ads		20120510125836 5e24fb30
D s-taprob.ads		20120510125834 502249e3
D s-tassta.ads		20120510125836 3a253871
D s-traent.ads		20120510125838 5221ee41
D s-unstyp.ads		20120510125838 6ae15c76
D s-wchcon.ads		20120510125840 bfeb2e3d
D s-win32.ads		20120510125840 07238fa2
D udp_dns_package.ads	20120707130426 936384e0
D udp_dns_package.adb	20120707130426 235594cf
D unsigned_types.ads	20120707130426 dd57bff3
X 1 ada.ads
16K9*Ada 19e8 68|22r6 69|23r25 27r7 44r7
X 7 a-sytaco.ads
40K13*Synchronous_Task_Control 78e33 68|22w10 69|23r29 27r11 44r11
44R9*Suspension_Object 69e14 69|23r54
46U14*Set_True 69|27s36
52U14*Suspend_Until_True 69|44s36
X 12 dns_network.ads
21K9*DNS_Network 95e16 68|18w6 69|37r23 43r7 70r13
29R9*Network_Address_and_Port 69|37r35
36U14*Initialize_UDP 69|43s19
78U14*Send_DNS_Packet 69|70s25
78r30 Packet{15|251R9} 69|71r19
79i7 Number_Bytes{15|27I9} 69|72r19
80r7 To_Address{29R9} 69|73r19
81b7 Failure{boolean} 69|74r19
X 13 dns_network_receive.ads
21K9*Dns_Network_Receive 43e24 68|19w6 69|49r10
34U14*Receive_DNS_Packet 69|49s30
35r7 Packet{15|251R9} 69|50r13
36i7 Number_Bytes{15|27I9} 69|51r13
37r7 Reply_Address{12|29R9} 69|52r13
38b7 Failure{boolean} 69|53r13
X 15 dns_types.ads
21K9*DNS_Types 259e14 68|21w6 69|35r23 36r23 38r23 39r23 41r22 45r30 46r31
. 67r29
27I9*Packet_Length_Range<short_integer> 69|36r33 39r33 41r32 67r39
34M9*Byte
138r4*Empty_Header{67R9} 69|46r41
249A9*Bytes_Array_Type(34M9)<31I9> 69|45r40
251R9*DNS_Packet 254e14 69|35r33 38r33
252r7*Header{67R9} 69|46m21
253a7*Bytes{249A9} 69|45m21
X 22 process_dns_request.ads
40K9*Process_Dns_Request 401e24 68|20w6 69|59r13
48U14*Create_Response 69|59s33
49r10 Input_Packet{15|251R9} 69|60r19
50i10 Input_Bytes{15|27I9} 69|61r19
51r10 Output_Packet{15|251R9} 69|62r19
52i10 Output_Bytes{15|27I9} 69|63r19
53i10 Max_Transmit{15|27I9} 69|64r19
X 23 protected_spark_io_05.ads
20K9*Protected_SPARK_IO_05 443e26 69|18w6 55r13 56r16 77r16 78r19
28P12*File_Type(434R12)
54V16 Standard_Output{28P12} 69|56s50 78s53
315U17 Put_Line 69|55s47 77s50
431w4*SPARK_IO_PO{48W19} 69|55r35 56r38 77r38 78r41
X 68 udp_dns_package.ads
27K9*Udp_Dns_Package 48l5 48e20 69|19b14 85l5 85t20
31U14*Initialization_Done 69|25b14 28l8 28t27
35T14*Udp_Dns_Task 46l8 46e20 69|21r15 34b14 83l8 83t20
X 69 udp_dns_package.adb
21t4 The_Task{68|35T14}
23r4 Startup_Suspension{7|44R9} 27m45 27r45 44m55 44r55
35r7 Input_Packet{15|251R9} 50m30 50r30 60r36
36i7 Input_Bytes{15|27I9} 51m30 51r30 61r36
37r7 Reply_Address{12|29R9} 52m30 52r30 73r35
38r7 Output_Packet{15|251R9} 45m7 46m7 62m36 62r36 71m35 71r35
39i7 Output_Bytes{15|27I9} 63m36 63r36 67m13 67r76 72r35
40b7 Failure{boolean} 53m30 53r30 54r13 74m35 74r35 76r16
41i7 Max_Transmit{15|27I9} 64m36 64r36 67r63

