V "GNAT Lib v4.4"
A -gnatwa
A -O2
A -W
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
P SS ZX
R vnnnnnnnnnnnnnnvnnvnnnnvnvnnvnnnnvnnnnnnnvnnnnnnnnnnnvnnnnnnnnnnv1nnnnnnnnnnnn

U gnat.semaphores%b	g-semaph.adb		deda0ac0 NE OL PK
W gnat%s		gnat.ads		gnat.ali
W system.tasking.protected_objects.operations%s  s-tpobop.adb  s-tpobop.ali

U gnat.semaphores%s	g-semaph.ads		0ac874e5 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		20110427123955 9c7dd3ea
D a-except.ads		20110427123957 b54b55de
D a-finali.ads		20110427123955 9eaacebd
D a-filico.ads		20110427123955 9299732a
D a-stream.ads		20110427123955 34aca5be
D a-tags.ads		20110427123955 bfa07446
D a-unccon.ads		20110427123957 51e09df2
D gnat.ads		20110427123954 96410e68
D g-semaph.ads		20110427123955 43dc4aa2
D g-semaph.adb		20110427123957 9d064062
D interfac.ads		20110427123956 a69cad5c
D i-c.ads		20110427123954 bc3ef662
D system.ads		20110427123955 df55302f
D s-atacco.ads		20110427123955 60789a20
D s-exctab.ads		20110427123955 5c1c61ae
D s-finimp.ads		20110427123955 9449f4cb
D s-finroo.ads		20110427123957 1408f9d1
D s-linux.ads		20110427123957 ad070dbe
D s-osinte.ads		20110427123957 b04c0edf
D s-parame.ads		20110427123957 f32e56e9
D s-secsta.ads		20110427123956 7bae3621
D s-soflin.ads		20110427123957 0c6fd39d
D s-stache.ads		20110427123955 257b3be8
D s-stausa.ads		20110427123957 6ab7dd35
D s-stalib.ads		20110427123955 52b793d5
D s-stoele.ads		20110427123955 ed966df3
D s-stoele.adb		20110427123955 e9998c78
D s-stratt.ads		20110427123956 fef7c1da
D s-tasinf.ads		20110427123955 268f0cd4
D s-taspri.ads		20110427123955 5459bcd0
D s-taskin.ads		20110427123955 376ff2dd
D s-taprob.ads		20110427123955 5e00115c
D s-tpoben.ads		20110427123954 37be425d
D s-tpobop.ads		20110427123956 ccd38b83
D s-traent.ads		20110427123955 bd5f2753
D s-unstyp.ads		20110427123957 c0f9fae5
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|106I12}
49W19*Counting_Semaphore 50d8 54d7 70l8 70e26 10|40b19 59l8 59t26
50i8 Initial_Value{natural} 69r26
54i7 Ceiling{13|106I12} 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|106I12} 86r24
88Y13 Seize 10|71b13 74l11 74t16
92U17 Release 10|80b17 83l11 83t18
96b7 Available{boolean} 10|71r24 73r10 82r10
X 13 system.ads
37K9*System 9|38w6 42r31 42r50 54r17 82r17 13|153e11
105I12*Any_Priority{integer}
106I12*Priority{105I12} 9|42r38 54r24 82r24
109i4*Default_Priority{106I12} 9|42r57

