texlive-lkproof-8:svn20021.3.1-24.oe1 >  A `W^^fl<3u܌q) Q%(|h`9ݭz+RKÜY=2Rş(Y~NUxKng6ԫ;>~_dy$#1 ?H=oN&nO;VhL޳B&!Bj\'"W:b`qR䴗-aiF `}c ϶̲D}"`A ~5xUL`)W;3E# fc60ebdd88752f3ebbed114e9bd3d2e7fa2520111eefa2ff1baf549d28f7216e144886c0b9e56218b90a183704d1c29d33f9a0c2(h`W^^f8 H4 JKw VNф$Ü=V4%PuuWDP|H{DР 3-Q9J31IXd9L``~phy82hKwƯ oQ4-E~oђF=Roۍy u2)S8`NTٜݔzr*} QEOO`zp=?d( , C  %1IOXh p x     4HdtN(m8t9:GFEGdHtIXY\]^bcdefltuv(zXhlrCtexlive-lkproofsvn20021.3.124.oe1LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.`ecs-obsworker-0003MopenEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤`Q2`X8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2018-24.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0003 1621920393201820188:svn20021.3.1-24.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 -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text3bX,utf-838911e552994c443e246e0eb6fb130696c3e34f6ee0f83be64e5dbcdf27f4b16?07zXZ !#,Ph] b2u jӫ`(y,w;J Fw~0}͆`KK5wGƄـY"&/ ES 7~5,--yB 7?J'ŧ6|\©WlJsoU_cafV3˶c6~2=?.?O?jcJVRp>Smf gB FVc/OjoBW1u-y3k & :hQr䣳B&ۀrR01TW)5N4AUy?}ldYi1}[nND(caTSgSg=Ѣq=,w cO1FoihbgvR<4Qfe~!X0@< UtVȨ1 9C:GޒE9{K:M U_=PGQw ^tf"qbpҢVB|^D;a*]h*W!`=CG+}h]1A\YKAbԚnGK7<ɴ3#$Ć$d0[9>iRmt% WmFzzx7%Cղub#}.8LP9@PEa P.F; C\KidM`uo.!T2s˧a1!.#s06bpHbH0V98/_܄_2!;YM2pEn?#mEa,9h՜̯7;=4,ihB"W]h*ldgA%.hdu X>@ J%h6pU5h=Xy͜|*gA!wy?}| wDWƾ /dabg<8&qf&&E4V*?if)W%Ml*NBST;p~ș |c!Ìdx{IEoTW4"E)j?uOբv;TWtL=4[q#W8̓|^ " A)QΜ AY~OKKV^t*^_j G}BQ4 t  X!@·SB`U^~j~*U46iza*,LNd\ϩ26iy0Sq|{joO `Z2k9x!{x+[w%B!$8E9CL ,kNJ /aAv0}(1ezbTTڲKY Z 35luT[V4CXCB*=l*CE-9EεވdeVK=rgEN#2O1bEZ-i|@}S7L3/82c0:m7 lXL7Ufbي?Z. @巜hvFoӬAɒO\)eqѴǪ/*b[NnBZv8pP9ri*%#?ϐBFm:+ pqN@l@UO{%Ej^fJIݏ cUZDf4~&L._&ՏbQQQZY9 W[HKHW€0u& Sec`y&+ ,XRK'fjFTfk%\nZR//a ?׮F^he'VS>7^b+ZxB7 7o(fg s`!vRyQY.Cğ<޻%15'hNXW=REyy p+笒Ok1H7"ִ4> $ZoIϑH`GT6O 9 lgZmO8i2c $|P%mp̠<@\jԒ⤼pxTe͌{j:.Ze[ (&%KiV/ P%;3/ӊD")F UcLJK5 SCywN Z(WF[5v׫gIFʹL@>b)Pa}U k'⩲0$o%߉y,5c5qs5K,M~`r<,BYV1!;8`jg;eעIXk75wV=I|=c` 3rADw՘ic*ٰTNTc0Cܓ7~!u \(8̠4+BNxۋ3(`v4Ç(n 1'3yn|JIWLHWajG" +iUrlD/J/Or8<)Y5E8qL"g+ΘHm|ha'"^`y] du-l-fL#vҩើevr\\#^SLO&]$DAShv)u}=3t!gg <׳* c\呇CS'͵o29G|$8TH&tt|_NG.F(V CSg $/o0dCxy;8TY˔ݑ[fں gYLWɓ̵u@Xfs4dz/m5yYspQh lrcS҃x?R f藐ȗРÿ|r eCdWZhܛ|64'C0udįa 8hMm-(:lW T댎PY29{k g#B\QJ}lH]=vbû!Ցi!7ނ.JŽU@\g<*c2KG4(gwX=\ sgHeZse328_@a T|bAŁtF3MHᦌ\xPocP5.^w:g3v~<tpp>c; ߘ}Gt7'K֫iC͉uv@sԏ'H@+y`,pIgRC4љW,eAn?'@o0gY>4~gbL$p@de/5բ|ltH99$/^;+eRj&'_{m-gɫp0EE B;jbw$o {2@ǩ xY?{uؼ]CUAhdڅ'R #j OL KɌly}H'g*{Eɐ?9 o ]bs ]P l:|&u21W GC#Il |DE-!z.6;R 'Nd $r~@I$nb]'$ܛ2n>o)Od"7gY\/Z(+gt8Bc3`8Ux7Uf_Z1yy||ti-&Jw$V>}[< m^&@Ckq UvBeTИBco+f-ճ;Jnp*.xszk!wri~e:m(AmBOZ!# },oJen_l ;44XX b*h}걕6R'AjLfrk”C_ ӊN:$N ^@2,,Y ѕ% }O+&z{wS R\4ݙ]қZ7%MN"XnW*fK"CY6ma k??AE1_) Ekpp)+ɘAaƉyAHq'/eUz?ٴRhyy.9m%x~b. [F23%xZ;6U~4_Ʉ22Xi/PR^ EyQ¯`ר )&TmH95)*_ɕ 3Qs,N&~wz`ҥ dW,dB/ppf}_fκm̅>! BMaWī!_19,d2t&A .w+<`o?e%I:0\϶;5(xݒ.z6㔑YNSK٨7 j\rAe"UJ`+)N.R2aS\E~O$Ēi#T_$PſUlE"`}:›Ƣ@drX{a*/p*e?pWJ~D*!##{,Z`@hfb fXva%)ɏ|~0fCT+ O/Bsq5,U.!%~h^ ~RMmgWM)A{HxXcn1 Ը_\Ƹ[ŋoSwjj,;D܎bŚ !)|㬔ĩV˟?f6xZ-319Ƶ;)vb$Ȣwpvx{n}i7qPN cQϜ5A"]ڜX PtoDqfd߂Mf}D9zL$D[{Q7ìbm8-4tn NvPd^;TM,:;uQ}Q Pg+-YIVJIw ZN7;4qwoMk['F6mӠl芳Z `pԄ,xS,L 0ahILd̐`]G);pY ~S5tJԖ <\~1kEHӢ] œ좡ZJ jgHm/Yi"DO.Q;!!2xtPlXu+;O: }aK=KN&ct +$l=/=R qk)hr*oq+*u|M|&&$ )餔+!֍~ 46߂~4F7`V_ yrC*H(}=1ZO+sDU@Jɮ*V"|W$3Sn,2`wp^Y U@{ۿĞW "N,k˄:Ng(kQW>Z(䙻j0-y.3ۍNaUh-5W(lZΛڏC* 'gt٠\q! ;œ^AvOҸ́r;Hg4^4NLaC{ӹ$;VV9.")3{+i #Jòh"n& "+\m,7. YZ