texlive-lkproof-8:svn20021.3.1-22.oe1 >  A ^yW^^fl@a 2x^z AFZ!U6ZjD5}RSrm|f L,(rwkg hx+If~Q.kP-L'K>=D{ 'uUN~Vbz7I.ג؆3L'NN + )ˡ.R޳ʚ` A6k#Yt_765]'/>?,!<38-X5I֌d5e2438e195822a0e9c9c30fa9044bf0f700bdd26f0c2993e7ca07af18b74f1519a14b04d7cb95b36a3a0376d115981042e94fb4f'h^yW^^fʎ\vϋcJ:4 چ2ݪOduYA2d~'fsG-ՐS"3(/ܗi~CkȰ3Z,Z4z|jUg O7Msp)"BǂsX&'W'86A[ DdzG0X9'F`+y,Sb 쑓NA"םB4ePMnkLjL%KiM?DڶnX`9S^P>p=?d( , C ,8PV`p x    (<Pl|V(u8|9:F'GPH`IpXtY\]^bncdefltuv(zXhlrCtexlive-lkproofsvn20021.3.122.oe1LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.^yobs-worker-100-0002.novalocalMopenEuler:Mainline / standard_x86_64http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤^yQ2^y sX8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-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-100-0002.novalocal 1584990433201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:Mainline/standard_x86_64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text1u(E')xndutf-817c2acc878eef42555191448921347fdfead32ca1fbadc3992614b925982d232?07zXZ !#,Ph] b2u jӫ`(xyT _Ny P[QyS LŢo/%ĩUQ3g>&=уꑟ Bl$c$[rd20/&m8dM3E&T|qʺd`I#:I} RheDiG.\]J}Q9;6,Kڿ(oYEG7VC XE8mުLՋx LLK W,Yok}jwֹ$bUk&a37HI & 5x~ۖP6_=23)K 8m)Ro$MΑ@^*ەoh{*Ho|-ҽ$ȖT >wpƔ"\|7<(*_,4XKD}tns$ {c=!gj{{'!sL7҉!׸U Tq{)蘭wb Ε t."' Hkt[T@GВ@$1a7= kת,e/DtG"CNCi G! 4 '[M`W#{4H\p7YZo"\o ,UO6V3ݢ't,`"Kj4dw$hLLSnůBBSRhkGtIWJd&d]X;ױ#YMfgLE#mڧQ@l_*J{  =Qv/jVmY L Bj e"rXpj x퇦ۥRMN3Iܞb! w;y,ty=Q=rp>$Hjn'ƾ[zAtۢ۶2M%u<=G׎xp0a^70R(DF,P[ҷVQdCx˚Ri7 /RO+Yu䠍%$ MMNͭ XT Y|in!놮7ᴤ)3[E{|c|Tr-o#fMA mAq9.YCP@| E;7BR&\rOA yQfSw6khG$ǧkn6ʚTCrGn}E4A'*G 'r7gkG1qt^>BRr7Ta#̑ ObFf )XDrGШbHJhRVISTpI %mt8HIrDVI/=BI9ҢBRq`yJB=| zJ8y/FXZz-qO NGt.*BeHxCNTw7$U32Z_{O:N@A g!O)JjU1B$po氢c+;L0l*ROlMjw2HG?"Le%_%G5#* Kap`%؅;70h]=&} {M<$!XVӲ^  s`b Y )3@Ҁe2$l2\YrHU~xM KX *A3lQŊ+31äؽ$-{`~#{߽>7S=yvp\RRRI{B b[Gh XȲ!pj(\1 r)btIqNMtj1(4O%S9CO&3쥌T;R gEk8_6<N՜aZ'0"ZQJ"WMYVݦMRo+blB\Pr1Dixw 'f Ԕ8i'imF:uO8Un3qd5E`r8W9[Vew{DёPrg~+px Zrǎ@"9vAP}>o%g9vTE. k '0e̿_Cb?=I>$,*ו?1.-T:.eoKL(7_W2SR3#zCTXFlֈ'<pU⩴@S]0wÐctu۰y㯀OZ =)nI dPtzU9wm.t:!ڟˁnHQTJ󂗨ޅ[;jb{J"*\0\#nk8ij rbPՄ Qu8J}5PX>ˏVfNVs7R]74#lab 1i"7n>a4>w(5]]h}v ZZvfV no cu?2g&z}6i}'TҸeK~!'S.817FBt-_5UGA$3br)X hYh'd<}Blwc!1 m#dꋰ+RQ4YrR y:m9U[8ZaGf=m)!}RRw,뒿wivu }|񔓾J  W'mF {>)eh '[f5JfnR4'3 T%, 4ԄWjK`UzwٰrTv&Czs9ٲ @24%j' 1=Z >Ǡ%`%NQv[){+v3\B;$ё'j ]u6&7v>GEǯ% tχTDGIXXS[fn rH}|lgР}$wb{ѽ+a BPn5<4 Ӊ:9QGVn VƲZ-&(*t\S1'AR>MR7ed3Ɗ0P -EKC@ӤP;!u/ߟşa‘ ^H![F@iALpr SF[. <ᩈ.&!ر߇{WGk[X8Ve M>X8M!uyHIY {)3R|q ւuՊ @ CN`P;kp2lNNC$U#-#wn }Nn`= QEqAbU8bd^Ԁf`[(ɪ)I0]R{[f9i5 lI"υlDCr3dgg=[ Qk_,pe;n45!D>+OVjg|jzf퓴;qo{p@YEE\3OD48`n'x}EIxFCwk F[ש"[~$\>DT[R%~C<"*|(%yGz%.J5/ 4k/CozQs~k=\ rƵyiY_xA<]Ёi͗JC}~mx d7Ra-8G܆X;8%yWhT6UFhXk&u˾+jxJa)efoh)HOe. ԵfCr6Z➜&p5.hl.H(J1dZgbB6 ˑ :.T=7g?端 !2w}*/ߦ&ۋz o , r[|LrFR2Xh܏^JN av>ja;5UʷQ_#@K-}L/G 3 mk!t+xT~Gp|uAZQgݘc{oMU)[F#fOiddvd)׀$Ә!:Zɷ:ܾjzo:8'A~hu)4ZHRmy20% wpz('ʜ,qxGe#X2OM7H+]A6/qM<iBphۡF`&ϢUv|fF3mݫU|G$QE15M S~Gc~ϡS]ʃ3x9I_X:&cy[f!)}e9Wes|f)BqԌki85}:R)+?t&n]@ѝ?MkJ [Ef13VA 6<>Pm1CqU<8n59vF9M`&YlF/GF+ܖ;>`@05-{/{ ރ¨=q dIm}c.]wƉ7KT;O=šѱ9J_y^VxVŃzn!W\D/ѕE!y\TA% O''J>R H-dMzC/:i}/4^޿Y \Ѻ=.R j2>T/>{6b^ԯg -GNxe/amÙJ>qϻM{=3qP$o6?` s>/2rYvQ=b,rg '0uMIJ?+2Y/dy𪃓uC%ph8 ]Z)8Ahx9Vʉ!V A oGدJp.x@g2yڿ?G1aUf 9 xFi?1#DnktEEDбnA+5v= %Т.Go>eI(am-ArTgԨ(z6\~B!ү6_yq[6"T-E]@=| / o/s0(`D~=*rq&/y;j~s8.IGc?qZhcd(5W)!?Qno(Q7AJ}|xL``F] PI%JRa:& 1͞KHD[)Wm1c<t$B$qv_t W#>_ȻP7ejPa}4?&*/φ$XyyNIP*Mjf!Xpd[ 5|%JV/ koT WC I̡JGZ#(AH$?B [Z-h/-gE5Q1.x F%M Su*Ve