V "GNAT Lib v4.6"
A -gnatwa
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=x86-64
P SS ZX
R vnnnnnnnnnnnnnnnnnvnnvnnnnvnvnnvnnnnvnnnnnnnvnnnnnnnnnnnvnnnnnnnnnnv1nnnnnnnnnnnn

U gnat.semaphores%b	g-semaph.adb		2d4c7e6e NE OL PK
W ada.tags%s		a-tags.adb		a-tags.ali
W gnat%s		gnat.ads		gnat.ali
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.tasking.protected_objects%s  s-taprob.adb  s-taprob.ali
W system.tasking.protected_objects.entries%s  s-tpoben.adb  s-tpoben.ali
W system.tasking.protected_objects.operations%s  s-tpobop.adb  s-tpobop.ali

U gnat.semaphores%s	g-semaph.ads		292da4fd EE NE OL PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W gnat%s		gnat.ads		gnat.ali
W system%s		system.ads		system.ali
W system.finalization_implementation%s  s-finimp.adb  s-finimp.ali
W system.finalization_root%s  s-finroo.adb	s-finroo.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.tasking.protected_objects%s  s-taprob.adb  s-taprob.ali
W system.tasking.protected_objects.entries%s  s-tpoben.adb  s-tpoben.ali

D ada.ads		20110108175825 3ffc8e18
D a-except.ads		20110108175824 0c711ac9
D a-finali.ads		20110108175824 e5e85fa4
D a-filico.ads		20110108175824 872dc219
D a-stream.ads		20110108175825 2ca4ee37
D a-tags.ads		20110108175824 c7695348
D a-unccon.ads		20110108175825 f9eb8f06
D gnat.ads		20110108175830 fd2ad2f1
D g-semaph.ads		20110108175829 9996864a
D g-semaph.adb		20110108175829 b4daf824
D interfac.ads		20110108175830 f77d8799
D i-c.ads		20110108175830 809c38c4
D system.ads		20110108175836 4d91f046
D s-atacco.ads		20110108175832 1dc856ad
D s-exctab.ads		20110108175832 66e51330
D s-finimp.ads		20110108175832 46853fe8
D s-finroo.ads		20110108175832 dbb860c9
D s-multip.ads		20110108175838 38ac9f73
D s-osinte.ads		20110108175837 51783432
D s-parame.ads		20110108175833 9c5d83fa
D s-secsta.ads		20110108175833 eea35a36
D s-soflin.ads		20110108175833 9414c974
D s-stache.ads		20110108175833 596fc1b4
D s-stausa.ads		20110108175833 bba781f7
D s-stalib.ads		20110108175833 c4241c00
D s-stoele.ads		20110108175833 facd7d98
D s-stoele.adb		20110108175833 afc5dc80
D s-stratt.ads		20110108175833 aedef97e
D s-tasinf.ads		20110108175833 e120e23a
D s-taspri.ads		20110108175833 af44aca8
D s-taskin.ads		20110108175833 b2eaee08
D s-taprob.ads		20110108175833 502249e3
D s-tpoben.ads		20110108175834 e8374469
D s-tpobop.ads		20110108175834 5f548bb3
D s-traent.ads		20110108175834 5221ee41
D s-unstyp.ads		20110108175834 6ae15c76
X 8 gnat.ads
36K9*GNAT 39e9 9|40r9 99r5 10|34r14 86r5
X 9 g-semaph.ads
40K14*Semaphores 8|36k9 9|99l10 99e20 10|34b19 86l10 86t20
42i4*Default_Ceiling{13|99I12}
49W19*Counting_Semaphore 50d8 54d7 70l8 70e26 10|40b19 59l8 59t26
50i8 Initial_Value{natural} 69r26
54i7 Ceiling{13|99I12} 58r24
60Y13 Seize 10|46b13 49l11 49t16
65U17 Release 10|55b17 58l11 58t18
69i7 Count{natural} 10|46r24 48r10 48r19 57r10 57r19
76W19*Binary_Semaphore 77d7 82d7 97l8 97e24 10|65b19 84l8 84t24
77b7 Initially_Available{boolean} 96r30
82i7 Ceiling{13|99I12} 86r24
88Y13 Seize 10|71b13 74l11 74t16
92U17 Release 10|80b17 83l11 83t18
96b7 Available{boolean} 10|71r24 73r10 82r10
X 13 system.ads
38K9*System 9|38w6 42r31 42r50 54r17 82r17 13|147e11
98I12*Any_Priority{integer}
99I12*Priority{98I12} 9|42r38 54r24 82r24
102i4*Default_Priority{99I12} 9|42r57

