texlive-lkproof-8:svn20021.3.1-22.oe1 >  A ^yW^^f>f%eO\~.r\;=q8҈ʅʚtŽƮƵs蓸=*gάqf⋃V{5(6%җr)t譼ڻGzfcCO?My~Duh9g`Nϼ6DN(O%X6fh?b{knU9[WF?$9UsG A'ގ. .P5YeBG4(W܃!71{;hz{nO; r[(Ȱ+An1_{,p#%6x`Mx+jF W5zׁXYZ`qYnM9){=Fj堬/}hfgOorly۟W!)'ӔK<P>p=?d( , C )AGP` h p   ,@\lF(e8l9t:FG4HDITXXYd\]^bRcVdefltuvz(8<BCtexlive-lkproofsvn20021.3.122.oe1LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.^y3obs-worker-004MopenEuler:Mainline / standard_aarch64http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤^yQ2^yX8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2018-22.oe1.src.rpmtex(proof.sty)tex-lkprooftexlive-lkproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.15.1^$D]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-004 1584990259201820188:svn20021.3.1-22.oe1texlive-lkproofgpl.txtlkproofproof.sty/usr/share/licenses//usr/share/licenses/texlive-lkproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lkproof/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textiwvƀWutf-8ca676cf81fca29275f1ff47db22544439e1029c3a8c4c4ed75fd7fa22f28307a?07zXZ !#,Pf] b2u jӫ`(xyT3ŇSzYlҸ MbqJN/0B!s2^\6`XrG%50.BIРfi92r}3ʃ*|]#?k7 ] KCuۅ""ڢqe)߲vX"ol7M*~po@`HQ^08τ6}SR:ip*kuK-X Z2_ZQV,r^iAV) o3TiH]LA%-vI픮Zzュ(Qܶwd@YÇ2D…[OˏԞaÕGgqxBl:|(Ԃb~ĥEc@ڄ#bLjBO4rA͍ґ-9E;nyA&_q*1 3ԇ(J9Y7Yk Xʅ}OxK ;hŒ"R&a/JȪw;4\؛w9ų"(qxe2:u|Lt 29O~q3 =iIDׄЋb,n,H0Pdu!JٗmFn2bޟ?x 5 ()+%Nۧ( dbt_'K>O j o$݀綧PiT'H Pt O,C CHO[sIo!4@{/\d70?]Z4;dBgbl38D EDq&t!\D:Yv xL!ئv#{9I :8uE9mpEЛZ?SQy qj*"-U^+NtΙ3c'Zp3Z>%GŐZywl5Ɵl?9zE6s mN +3U ]3>zNԅь:^>kO%`μ q| "4c]$D[Bxɪ1"h. ;|_ RW=IdzP̄S-bF  d*)AiGE77A)LΤ7ʴH>֝-!# UI Jeoh[JqgVvԾTz ň8h*0x[XK% %La*uV7v 3L¢BJAH8To Lw{+k`dZW.Q#&8<;!+ƨw.'A & /{nJ(} -f!W,66["!˚Uy+ŲpiGMn^" F)MϹړ*4M銱wƐ6Y5㿗7G3Ya}r$*<*US5isN5724UYw;O&/;ܗpDsvuX;lʸ(u1m"5 𸠠]I]U8л# LȾP}8qt,AO͈Ri6ޮ&Uu(TZH3_B岿 ߇|_-nQۀ%}ofsBȃ3l? YAv>q6f Y Y0X\d?:uRw5><lLnZMjp DǡwQwVexJ;vz(r\vh_ZtOM]$M.YX?s =\JpA8d!y9~,"+B9MےӻX7Ԗj,s30+H0F0N,F-?HZ,tZ < 78ѳ`iܷ(/`K$tY|X=uzalh}r͘ ڞqHi(\ nS5۩, XY3-zA/-t?dgXV\[RA< L#>֗ԕ{~q b'n W.!*!aө^\_SA)?t_]1XxRQrle\NZyW@C>(w[eLխRL·8B=~ӶsJg,/cjKd)whXԽ-=4~Qd8ǚ0HhY|nj+/pro=S\LlDťl{kov&8P+At0u5ՎbR Iik2|.A~wwYc0d#X0)/OCm\b4ÿbd5տo&G4qr#0k|ُ$? 9ȉWԙF{?z{`{%`ϟB.]{Yhk0Kv<-gR]3 i]bhT8 dV{~'!ZsR<%6,o7S+9z|Tk kҶ7+9Kain)21^ơXY;ŋhihGE )_~=Cߐk;3(@\>= uG*^P!Pnq</ >Wc{..efS|,S*!mmr5AƐ~5D! 1qZ]l1fW~}D[brCZ7:lrOb7ȍ~^U,Vؗd,~QoGJqKds|hYjr܍`|Bfrv<*vDT}o*|k_ХW8d5mjy/rwRլC6qUhw3`Lɻ&2殶4/v|iû|nA#tY麌iUh!bSR$n9 +(\\0ъym^ʄҞI3hM;.*URȯ Qԉ0kofEhsfx.`3,2i>kNyi,P'kBx#W9E(ۋvs7YyTՏ &r4=}sWذVcmÚ{muͨ5}4 <#S/~{>!y)9]"A^q~ꏙBpSHl p)Sq7%@.叢a,-y/V,;jaF,,qк_%48u9 +j.'Z>8v~x|B).iboqo\=-B0έ qY&)S+?I_y q8DwCzaؖ ^f6(<ցƓ9 Z9lYVnO(@lcbpۣaU= £.eJ<0W;c(;NkֿhG[YǯCqsTb5Eq\_<9vV[&`HxT;#SJ-lj9tLOLT\*~t&-f4)dȫU1{k즾"Ea};≰|/ Pf; n1%ڛ}ej=VMOo[D$c4rlHfb )ϊI ejڏK k^-a%vhyaB V7uSfEY>y šSoSjRq͸F!@ʟ0~n!Q(㩊CDvՃ!Z &%Izx+s((&%lD%#6~Q>GULHvRDJ,h4>T8S>`D٩D zzoZḦ}Mo,/jO['܆ťxD2Da&7-VC|3oXg-UP޽gGg9;UƳ*[QpҪRTyR;J~m<'H#&Ǒ&(.0@:啸14J|RXNVĬ]i eRO,8MHI)ĬV> !H0s" 4;m7t|h$nWtpA/oJc3;ˀMr ;X;!(s,*g<@NԞV#,CXn<zFW9ş/*N_D L{4,d-Ò/Xe։1{p</˟ĐW'"'/ Ԙ$ XD˔,;r6ew3LY;G=QfS@`3,\I;^*tЛ'.SLiё-79=r0#4tkߣ`M6Qxm4`X܎ש?Ѣwyء wbΞEאV %" CK&3?=4KumCOP'.,W R9'bGv!@4=A CBK 8S<}Nb%q3HqC."tbw&Ujl熭& "{ ?9diG:(%7 mʳN!2lxJJMzT&A 喵B$s@﴿7p<j0l?2t `g'FK^S}уU)tOxjdmO7!KFyXX0ʝ ¦o:W^g*s\k{cNn&FC(D`6\4$ԛ\ !ŔACt~m/'24hQQ7B^Ĭ?3/8Z2.G*rXs \CT ;E 0JQ eXdo1,Sлq5۟+9FOϮc}Իc  fą۽!v)YpEu0L@`RlnVښN$ܣ :yX]jG{vmsl%±kuyȺ3)֒.b5' ^_@zEOs)C/ صy?LjS#o!m1>[:gZas#brU!tp6-G$ w~xU]ׇr X7nRx<)tkӓv9FFS P 5<0_o=^Ṵ׭u!'qdr|Ut;>6+\Iv_$ݮ1>|mh?h+ <_ xmҳBE73Jն YZ