texlive-lkproof-8:svn20021.3.1-25.oe2203sp2>  <@PT@7!.ܶujG7odqēopeneuler@compass-ci.com G7oŸ fh_ 8ߗd]q*XxAK\݆>Co؝t#~ mr!@ͼy#J6|Q}ηҺ(d( b#dSpS~' 5ɐ*٭Eqrdcշs#8P,?{j㲸ؒe1`R'rsfؗ&K{Q @$њ{MjXWzң"';y?id, 0 G , 4 < L   8Ht"(A8H9\:JF G,H<ILXPY\\]^bRdReWfZl\txuvz$(Ctexlive-lkproofsvn20021.3.125.oe2203sp2LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.dqdc-64g.compass-ciMGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤dqQ2dqX8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-split-n-2018-25.oe2203sp2.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 1685177068201820188:svn20021.3.1-25.oe2203sp2texlive-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 textMJo}Fx]utf-8aaa020468fdf25f5f29fcf6fef174392d846047febeffa9f49f195c7ef6035937c8549473f5effe145778d1a9678ed7f09d33a7fd1d5eae5ac32dd04bf5a6224?P7zXZ !#,Pj] b2u jӫ`(y/+9XCQ]UMip`|RL",H D+e 3H}740v.-P9v.GU 7"߅hV9z<~>;u%Ew^v,,V7^kO/pR*v= Owׇ~l*v ^@PX9&P_ƈȷ8_ ŤTѣb>.YP e +,g?Y׊iBJ/tsNIͽo{FUze4gsݖdwq#sW ahI)&fnlN+e[(T j,ς\wǞ@U9Jwl'y0-o}O _GHS|[ Lس25*R 3ػR'X-T'AkJd;k@FV9yC;hL:S4r(tSrn2;R">kr<Clpe wlXaDfR< @JyJ? "5#^͠*i2Ǽ\jҿğ9.ۃ+S>. u?|BQ PGCE|LKMh)`tqyke+@cp3Ҥz:7 ^_̜xgaй܃i.A d& >>f^KKf"k1]N5ʇ 9F"uX={{QM.Stv A`MYy rn&縢#/BS{}GXI|e GY8{n9Mu2N`Jps#CDwҸp!:i˥&h,pMd[,2[oOܧ)4꧿IyGt,4ZQ RzR ~B+{C[2Zm΋[5#v0QPUk oT"Jb)?uah6jq2u!a z ڳׁR(U !O !ʝL+UqR4a{>Lv4*#褳<l] Bpn~&nDj~k 6_,~$S## Ud1QYWK)]o rӛ:\50?v6 sJ1F|Mqk+:2gj}Ncwy8mAӾV[qcCl,Ǖ͟,!9& ߔv<;v%8f]5HxY2+N֊N/8{^i%rFx|#=`n-^c:Qe0X@~܄Ra!r2;YGͷtf.gZ(ꫝ4452^$H2$*tyO̽'_ ?$nPyՉBt D6DHY;{ȕɏp?hpO8=Ǧ鏌D!6{IȡIQrB_mM|2pL=Rs,t,U\b 0F׭̢@e(^zqk@ N㸺rZދήG9V5X"Cԕik{Q>!Q,A& X(#qHX潴:s2)P)%/Pdk> Ѭ)9Lx*DI y%P$^=xaBm,.#- `sFܮox &D)tyaD\V+6~TkktNxv4_5†xqXZGWkj#m ń9qdqw2.Ңjr'Fg)pYͨ$~:B18gm)qO{#F\qwO 6sqH5ƛ9Y_<4FT$hST^}=&_Sm$LKb/<m xi:m7!Ԡ&'`,t/iv o9*sbdX{;f-@|QrߤvVU HcL[]u(z E!S\*#JoW1>$K@Ut߈@cv`EĶwFB<ׅ7W*'kCLJVRMԦic{ʔX.E_Ą)ۘ/qC!d٥G?Ύʦ $՛y< FŪf#tx!*cfaNR5,^Ԣt Wۆ8FAW`&Ǿ_ ? N kq1@ƾ[w͵[q{` |gR&sTf^Zsʹz䌎ڻ чV{ D }tf҅_e`ZEh0Jz!x~\[:$O&$?_3꣖uW=6-`K,u' {X }&"-r)4 HyzNY[e+~ߟB߹]y ɒ`ލ%X7\FPWj@: k4\ԄSS)|'ʰ3rPGo|8طW*4Oc*uJC&hXzi^z^U!ay孤M44pSMQP΁dqO{f{!,.Qge(D(:)u|JhϿoM0{`ZTPRL{ ?zG3,: WxeܐBU{쵍% C%G4\4[X;ٌa#3ũyk|MI'dw\6&NgD,ʁE꒎dmݥ8̄Aőz֫lAc`J0Ye hN]젱!oۋKWXu[!v*v7̓dS/gg<0/rpPBdHgFor6F;"7)ɐ",T|^-vn2=9^Mf,ʙ[87 xNڎxvn\R\$o@{*p l̿ZRFTQ>,ݍr;Kguf !U.o^t):ڊqErCBSsQկ EW>M5g߉g}׭A~ ]xt1ӏx}G 8c.բ [5*\gO;O~^}V}TeP}|>>Ϋyujv0Y;SĜZؒ#]|spp46tA&8r KB6a&1gz3zw \5gWoj8k>w!ȏ;pKH)'H_M7@ܛ;i(k\K P׾liѶqa=(vw۟KPɲ]"ޗj2 _4Z*Vl`U dl->5Yţퟖ s$6Wb  >-@1L^32Ffxie$I-?ohx.LRڀg=zv:(ma!^q89Hʯ˞Ǥm C}Ӑ:N}w:ځx۲3/Tf՗vj#&D;q kjs&NЎ}u٭E->!g?aμP.!q˷5%XTD H%B|l@e%sm|oRD6x?9[%ߕi'Is#-׾vK sx\eϡ4J+4X˨;O]glr8'nɋZIBg]_]/I