texlive-lkproof-8:svn20021.3.1-25.oe2203sp40>    fQ] ;G|`u` 1 }Fl=TA(Luve.+VV˺1VTg_#xLܨŝʹ !ܴDK7ic=`ls3{%܁E:orϖFіI,=(W 2R <,cyLٲ|:>pX ZA#taOMJ&7=MFB5Rg};KI*HČ פ. eLS_MePbB5?9B.&J ױ~;}IUňHI  E]E|-3e%.ȹL&H %} hB7ba2679a247944fcb4440c8dc184c6d2d3906cde214079caf997e950b0de2543a67b375e82b46dfcad7d6251053c33991d124c82'flGbQf>;y?id, 0 G , 4 < L   8Ht"(A8H9\:JF G,H<ILXPY\\]^bRdReWfZl\txuvz$(Ctexlive-lkproofsvn20021.3.125.oe2203sp4LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.fQ]dc-64g.compass-ciMGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤fQ]MQ2fQ]"X8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-split-n-2018-25.oe2203sp4.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.17.0a#`_[f^$D]caodongxia - 8:2018-25maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Remove texlive-lexikon who requires texlive-wsuipa- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1716608279201820188:svn20021.3.1-25.oe2203sp4texlive-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 cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textV L0mQ~.utf-8d6a602f95e3c5203e88cbc642bf89068e2165fa3502c6e69b8898cd1b3db8788f8a8efa1f83d9d55dbcbc1611532d0936cd78c3a24b0a0b9547223fda9656853?P7zXZ !#,Pg] b2u jӫ`(y0œۑS/v5^񑨂W6)r)t$Cӧ%egAr !|\o޺LR@}%H- ':[6ɂ"cDŽl*;O|*%XO|xx!# 1*u0t6y}Q 1 SÏM"6VKZ,2ܣɏi|zxEmdMZdûEG[' Ty1µ'|b&|io 2vBeOM6e noF>(rLܝQ Ĺ*2MnȎeVGy "Ps'1GP$he Q%鵈pOGT_0 TLq̞!D$_H[*bV[YB0kQVAJ x*aX!8/#BHW/#b[ /l@6,EpaQ`ウLEЇJ?)5JN٩;vvNDg<1*.=p[J:mcJ*lALzSU6("#УQd_?e1z9?FD0T``C*ڂ*k[.3>kpI~S#x X2$Onl ])yg3$ wU}O?mL0YRBrZC{GsC2S%lcJYWy=- k5]~4WJ4Y3kwtɀͧhW ejR[ewF[$"Yƨ6s ߭U#945BsaDO$Z׺<)$z~<.|x cHZ#)&;5W?3羘_0Y*5䅑8cHu#c{u1^9 HU} _v[n1*B!HӔ߼q&\}^Q;6|аGY`˃d$u"T}#V0 82L*^8*$jZ(Y&9@(F U ?nSE .C){iPo(´fj2hDqB'X.zzyv>lZ[nFaǽIeO{{pi>$-3ݪ.\h*HIJ!ԯf {V-7Q1hjB[P ]L>VZUmNTnqVbqtQ(#f0x*v#.XfTA4(Ѥ[`r 2YA,T?~i<1j)U!ֻAB*]#fɞA1(-*(e't:u|h.|_‚o$= Trшnt<&\UTg.1dϒ׀&tcԓ.zZk.iZ\ dDr ?!Bo8ih>2d.`sZ~NZ Zv] NG6&ftZW2cMcj`ӎSvrSŹdz綡 t6|9ZF$okcW;a ^wV^s'a6aXXS"i)P3sP\OoHF[&60Ň6eԾbyMR&Ug} ~@qO5R]lhoHxa'ay{@IEIm(B+Bl7mW8[(q֟,V^| ŗޝ17{F\ONjW!zBN(N_8)e5V _ a0H*q4I F w;K_탩 *^OuulE ۵/5bB-|F#?܇m}_Cp":I m}9Ǧ> @xl ݸqmW7.*-k!86.!Ky4'$%plcX Ş>BaWA˻7*5Qn`^ոչs5 g`?+6`MeCa {`a&åwbrlJy6ڙqnZ;}=BK?!永!3# __Y:њGڨ30*ĂnvhN)3(UZxϹUT,M~.ݠOqB2C86gn Ϲ1=iIl +&AhQG4ʐ}:jЧgx]+qRLJ"}h- $պ6;6փt6酚l8\'V+vYƑh%%n!"mѳ/悥T.3Tg1xȂ|-0mrK::8G;/sUR<^N9Co+ :^%F{5;!Yvǁ½M1yjGF`(_"v[?60 HH2btVTA ٰ^p1ܪJC.V7nu,LᅛdZzgIED/{Zpl~6ii8ڸkٶnՇNآ$j>DЪ 5x/!55wv}M|U6&lW<7U?1'e,o-Ʀ`V vF=r܅85tގ"'!,/,njziy۶!Z:Hs%'S LF ܏GqEim4V+-Qcu+EW@K|Y#Pԗ|Gv"Irw>15N/չ, *ֲ/`JK3&D p. ,ИLՑ_h$XNiUƈ>6a古iûRt{]j/~`g2/(ߢE"? gc„e%aݠs veƊ~OyyƵSbB-V{ B]͑4u0F߰jB)1y+>xFKnC̤91O{C^xJga d-DžrV+v$a'islH%:-@x@1YޜF,Z 0K!(I8 /z e1{/p6̇[m@of2E[sN(lv&iP]ѕbp=⷏xmm?|aH%*̥eZDJ$/ԋg7\j9,- _<[)M.em5,^@HhִABQ9.m%KwܐmPe֚hctyh/eŲ=U W'ow[xZ HluO7L=fHuzNVФ׮!:N5½RV[(o96^+.$59Vl^8$\ҸӮZ"o‚npd )ס#x}x=OB` [v'%]V1jr0ܖv@*%iՃنƻS92b̄RGm~Ea !lՅ4s8J]0R)%-+"u^Z7\HNGzH`0ʼnEiR!ZjoU#^0A=a4aE$˳Qr(8Sg.넗c̐rHܗ|y73:{,>?[.(@UDu!Wf)cj0^6Kn"LA!$Lu󌷶>؜j^Д0̼idHaO_.!Lp(JZL4Y6쇕;~#\xOx hd*d^ -Se1*!/F;B0bD&x4NG5^qq;EM,~Y5`3P6Cw'ĺr<0lC,K';SIi\.cs/%.el;"qe>XZ\YT4FJWe! ud{r#XOO55ߴ` VH 9ٖ^bw ظ ߞ$'m:}+.i{ToL)#Zyb~d]ǃiHsLpr=9&m q`rvN/|ӸH=y45 [^>bM-7ݩU2^6!lݨSpc;DJ`ĬG[ap`#ƴVw<_m2|L>1ߒW{*IͶ0TVgs6b(x){]ui[ ٻwM,*Rv3'aG=oi͗oW o^`|y𩻅:k √Q6"I@[hH,,Ks4́߈IY};fu(ƪ7qXI>lS͚F V9n{׷_tTN:A(+&n{a|ߐFPubA =Y*CY{׊{S${F.[j:oەN6)ف 'W|-Gh:.`Mxir('Fg~j ?hLu:Xr⁊&R=d1BK9T,ϣq܂̩4^ Zu`8 s$ɝD't># =Ua2Гl׌:$Tr#ehS7 YZ