texlive-lkproof-8:svn20021.3.1-24.oe2003sp4>  <@PT@7!.ܶujG7oedlopeneuler@compass-ci.com G7om d:v?͞%$Mg+&HSzIv`|HKӟ;܀.C?DCW7iq.=M[X8ZT˜EPui8#dK/zWteΉ42Km[2VxZ#*5wsۮ9X ?n}>@ɓcn=rH'!nۿӔ@0u>h`$  6A3Ij𲝙D<.7rK{Jנ81ac1a7b082d6308471c75b511edce60985ec04070b467c090d1ab7052faec53b8490230e2cbd46840a0cbc89f4b1d622c9c2fa2'뫜0Oqu<4v֓>P>:(?d, 0 G , 4 < L   0@l(98@9P:FG0H@IPXTY`\]^bVdAeFfIlKthuxvzCtexlive-lkproofsvn20021.3.124.oe2003sp4LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.eddc-64g.compass-ciMGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤edQ2edQX8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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 initdc-64g.compass-ci 1701097405201820188:svn20021.3.1-24.oe2003sp4texlive-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 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text"a!TQܞW4L -}utf-82041353fcbe032b6e76bb881d8d61caf3910824eec0403a4f85783adbede9c91?`7zXZ !#,Ph] b2u jӫ`(y/۱=y~_U-MfJM/w\'8Qƒ0PFrNj޳< Eof "iͻ*+fDo  ϒqG1dya:UiX'b~F_`WSg%eܑ\sDWVǗ)2‰}(9I5>c,KB틃 1b'R J-+yK5 SMUIG!"\zطB6gQ`LHnjKN8C&ř.r ϶-$M),'G ()4FL#Gw u%Oen-96ͧRԞiExhIF8l7Pbm$} u]&in4}m7 {ߝ@:d˻Uә")`^Owئ߯ҥKSh/Oюk>XnX'2F"l5] .@yuMˍHk Uܮ2VEL#y a\ۣI{:w$ WwzXۈ:.\ǘ4/ ύL^'CYC3Ase_yh{|8SHg-'d2Kڅv Mc@cPmc$$bD~^.I<Ֆ-H-8v@f,BOj4R^Ch@Bz5'f+bQIr5JveÓ{1owJvvk5"컣?Q7@,ec24(N>?6ƿr3Ԗ>M x\TrD!P"U:A\<`9‡59U0t#:SH<΍쒟N3[p)ϣ/HH 'flhURb )Ͳ3 $Q~JұMw _P`W\b5J{k6xI4EĥS@ v'cNݢ "^M䷫c]n!`B o,ԜÎ$0]'d+ 'qBo|{>^2򒂟0:vs\w@5 GuxSFP ed\ˌ8TV^9ǽc# q> ݮ?,@rɹ,h`kUbu㩩"Hm 7MaBl!aKG53.;pi9.jyJcn[X0{Oo?cV5bW۞@7TT!w9/M\<. @aA!brq8 ,dvXܚ X qgL-w$VElܤ!N)m Axei&RPmigS)ucc FKj?v_%mW -X[1Uc(?mL/ lVtÄnX5S ^ؿ؆nKt'ѧ]cj2gY܆ʿϖ^7F:2L3r ~3#W~'ŽhKƒ*^TxXYjФ6Vj :}"~R|/ Ag.Ƒ.QmC&lr4&2\廯}ѨՀJ6[;mfXgEsRof hi,F7\C5VYfL ثgFץz֐=+AW\DXv[c []4]5 |E #RxWqN%=LZW93=fw#` u})k!!cK`fM~hTHDX5 t8ܔĭ'd )TS"`wԜgb91;:K)۳])Qdbú{ڐk8V`v3)4Ba ˉu4k)GFqq8qgbH}%>ʈ7|.X pC|BׂW$a?){\+$ETr4T{04O=^ppF7}W2k4[aV1x`g"Ti7;Fer#0;Ru眈2D蛃 GyXb{jaL1 G| ]u-.n!Gc\k`poMZ饕&̭M%drm-KY2뎽GlGRVfU|+qCayΦoJщ{sϚ!ˆZ1DbATEf/^VAazAq1:0DWI\ ?`(T c,g.!c0v}+BIn-SO@QJLJz]g R|>|| ݞZ邉4 H}鈗ݽK.,.}VHzxayf]Un6uQ# V©Ѷ# wvRxcl͙p$՘)OVw馎MGxC.A8+^r6|J(rlp3$zg[{;=̫n[i`Ё:LfCyE_Fٹ7`nkꅌϋ&:`٦݋\ p֙aF{Njc4瀿'?)Cc_C?s |R,1w_`j*m Ao3ӧ&e1⶛=c/C !rF0o$ )ZC{LwVB)f8 ;]hOrs 5l L 3`dɳ_1H ą)vu_i{,;V¶murIY*"O39?ehF'ڄ0g> 5%ZFFvŞWKىuVu/(͉[I[hoXcگf8{P/-?"Q$^`sG3U҄]ނx3܍XRv |TmwL;$]r3)8, U뼭MwGq*3~f`š{)]7Z h6w,N(vvct#2\])_L }KchNg8*;By&>YM=:5j"خ )+g*MOh6.\E7fdQDzܣjI >Q ű7og+YFװ`n꺋_塔x0bO!^_Ywu',h- exJ?FͼrU;)humȦ~uƟc]? ddQeyۼje玛5=ѫkZm.\_n5hcWax{SJ&]"u ̼>6f0ҳ01ù#()܋btPdyS<TLSwZ% <{l$0= ͘ 3$)ƁԷHþм)ޒ7Xnhw4v3h#I+lf@eTuSf,Fy_ twTPgX쒘<9o@fĘld;4;ڲ\:ȥ.<3`61xg)(>i-+_k4N!$!^Ԛt)gmy=3}_zPbb鵐QD≒K8WxZw)ihQ G5(W" ZAqtNN& y_Ó+Q*Po?rߍ@ukھ i4E;v,f m l){j̮m (Za^m-ұlCܠyq&RC\C" =rOdf )Le\u6ԥƛۍe 9}ƧF4ZSa>}.3!k8jC>vtX*aO{}&9(! :~J0ob+%Q, "e=8%eF[f\vx8=(+(YQӁ4_Z1s[;E;=33*B^Ye%x1!a%Į=S8w`4X 9C-юr^[oĹXwN/r,Ile]t/OyWƪ6Ϗt;=ȡGz>]WT#]wkJ~N'|,]8=ž |{~:9ZV!^_N&l`Wfd%1Huy9AI5 {-v*Âbz#7w /x 3vʚF mt|-PE\:"I0'WGpTt PӘ}%ɪs(Ǘغt.%I2h A\%mR+t;-Qǟc'Vkb^DߙRTX@%?0"fNy{äNit":#7. YZ