Caml1999O022T)*V#D C V 2! 68o$ 68o$ 5 8o&768_"8"768_"8"7_%788"88"!6 8o$)*8! 8! @6@8! 8!@8@8!6 @8!6 @8!  6 8o   6 8o   6 8o    68o$ )*6 8o'+ ,+n +K +$h ! h>9V('MklibfsP@OL`O@@@@%%a %a@@X@&FormatAh@O@@"%a@@@@ @@@'DftlibsA̠'plugins@ؠ,ࠠ@$ListA(theories@=@$ListA,E<'T*`@*PervasivesAl2|@$ListA@K+libs-auto: @OLJ@@@@.libs-auto: %a @@rTؠ@$ListA젠)$(COQDIR)@ b@$ListA4jLm`@$*.vo@@@pz@,*_plugin.cmo@@@@B@K,: mkdir -p @B@LJ@@@@@1%s: mkdir -p %s @@̠ܠ@B@K0_VO:=$(wildcard @B@K") @@@@@@6%s_VO:=$(wildcard %s) @@@B@K1_CMA:=$(wildcard @B@K") @@@@@@7%s_CMA:=$(wildcard %s) @@< L@B@K": @B@K# $(@B@K'_VO) $(@B@K:_CMA) $(shell for i in $(@B@K4_VO); do cp -a $$i @B@K +/`basename $$i`; done) $(shell for i in $(@B@K4_CMA); do cp -a $$i @B@K8/`basename $$i`; done) @@@@@@@@@@@@@@@@@@ %s: %s $(%s_VO) $(%s_CMA) $(shell for i in $(%s_VO); do cp -a $$i %s/`basename $$i`; done) $(shell for i in $(%s_CMA); do cp -a $$i %s/`basename $$i`; done) @@g@B@@@"%s@@̠xؠ@A|@%Uchar0YlIs{Gt~Ѡ&String0榛"x:Cr90ܗ,4(z٢0GkSoj(7YJӠ0zkr e8D0S$FQ'GQSӵv0eLG\uFE 4!9=8CamlinternalFormatBasics0ySkDTVǗ &Buffer069=wFqFF)@/Z@@@@@