texlive-lkproof-8:svn20021.3.1-23.oe1 >  A _(-W^^fuUM-H~(XL< 'ZS=ud9Rw,~B/*ُ~5Ӄˀo#QnM >1^{֕9aLId"E%zlcA=YSPltt蚧$Hwp=,?d( , C  %1IOXh p x     4HdtN(m8t9:FGHIXY\]^:bcdFeKfNlPtlu|vzCtexlive-lkproofsvn20021.3.123.oe1LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams._eecs-obsworker-0010MopenEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤_9Q2_ X8d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2018-23.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]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0010 1607407973201820188:svn20021.3.1-23.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:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textZ:p_Sutf-87078aae212c66f2c66083533744dc142253c8efb98864c5d10b9fd8755280eee?07zXZ !#,Ph] b2u jӫ`(xy2>C4 /eKn}YڹBأ ꆈMT3LLr,MFE.1G' #B^L@UO&9+}Elb{҉-D {XcS3tӏ?g9xv͍OdmljXw)z/x n0P_rKCH%PHdc+5]7u3)}/hxt5c 꿔'kyA/qE\d:mq|= I䞎J @3&fkq{t0+ ~.DT8yY 0/5UhFxwRH-3I>Yy,'UM~wYM!ײk;j6eϼA!R# 3_H3lhmloOn"! :| XeJn,? .9ۂ Kb6";o1-jdN4u"*66ń:I:T^,;Uv_Gҫ+܆&9K>hkNKƢ.{ҳ"1KW~? J%ٽ m hAѢuYΙVF^;q~gu*I#0>-k$C?kv yBä}`te dߏS6Ȯ+?g74" q-x݌B;l6ޖ95=V:GD#5" Ѯ^jݟO(;?#eF+-6[\]"&;":ҍ?Ϝn̵Og`w\=TY/#FY `"$~v-És::&Հm6[E36xdXzVk;ߕ81{no23{gUr3yĞ sMC8O3q챩H'ϔAPf۠⅒zI gqK+~mf_^AO:FJ͡":SIz>{yoG\r鄐f\HM1 t~Z棃He@(` ; n}RV cqT1)>L3XRAx2CLHewY-C}Q(Q4.3ok[xf'q!! >o)d J(N'Yg);̓I0)k3T9Ƣ RhOR$nFm8f\@韢4HjH~UkV74x/^ھ2:%ˋ7`HEؠglZ ZZL ?Y3`a'T!ZdLϿJdIL9iEq!cy:̿~LLM%ʕK[Heti]tc-)XQ{x|nW.Tf2YD xLa]~C(0Ưml5)t19enHgJXո{lDhqtY|[mdjt07Ws;̩a,#d>R{7wx4v}8r_Ņ"ąY([a؆[Rᓄ7ZуUN i*[C5dɇ;_BJ˪.̀~Kj! f|2B+%fHuɛ^IpubJ49fhݛ?봅z͙ta j # GkW1" DQfX)suɹeL Dl(K>{J2"-nNߓH/.KCOWb,ñvέ();; w8G1~QN,E5@ADhEEa\cI+h,CZP <+A7S%4/<1Qɲ}H85u]5 JВ޷&l/|ɱ&&FD/d%(rP@t0S#~ψ_SN/h2^۴;K-#ôf" tYeqil{Q3J%=5d={B +-xvD}4n_uM*!-D/szƨsvux+^C^s񠲹(B&7Rn,CbOAP.M{"0k oUվEaE$yҾӋJщb }iB Z&W$;#Ѷ^P 5<:gؠryMx#OOlI4&ppykZdUot~OzUy4:MgQGM{?@ BD)}e#* Noa'2^a5لִ QVcT06ńuA~;w((Ie$ḼIFL)kĝvI7 B|nK7 nɘUS!O,_<æ & kId]gTp J9xm'G<W Z a?>La{7y9^*"kzi'WM;_E!6[FfKŜ)CTf+2r*SظW׆]/ǞeFj--[谱JP6f<}Я]{Y*Ȗκqʁ'؅zo{U򫬹Wg:q<䲃8T^ sV4E.;jGsl3r M>6m;i 6%\h; jNw"bJGRlu+Eו>-ލfqvC,sOJNuHGgLz|Īq M5fuOxiYP1]ԇjd֫:f!! ™-&fK7R4b׍艷p*Bc޸$[4['I'r] ܣC@MzEPrv;ۦkȓtk]N'l,mڐJ(i*:k6>|_.}8Sw01ޚr_B/,~+`h HɑZ#V6ˍ/69*+*Sql8 ,+dAUԷ {k mYv/in g ϠfQ&IH2 `sڏ( g3z` $Q_y}~\ *HSApIªvΫ:ÎV.Ъ 5x/!5p`qNK"|@e1;x=.ߨamЄ{'}qs6l"7^6.2%3'5`R[*cؘA H/%>Jy-pǵu_:3UP|{DYgitX-v02G.l)Αi &V%jQdwoh,>THƎ,jUjTe7=;ct&,LwsA* |w4$2D0Kb7HtLs j۰ܰgM 8O~/STz!,_ٴl$N@ɰ{xD6aYtUOHPYUL?S:0Z21xO' 4݄Tq< ziaƞbtaʔT\> gNvIAUly'7t5>_8v0!i"J=jGC :0U<]%00 8a;^U\Z1b]( BGq4,>~k 0bi&6r-첑__cN%!GDf*SCd%~xpV; VJMpn .`f {<(1pf.QXw? q'#Ѻԥri\oHh~CK3&, l^I gdu%)`9pkkputNS󏝃_<2֪ U% r>uGK# L). g/I )37Lյ"V[7 0& _ꉂKlw3Sz\UEK*2Rߠ9p_`z!c%.t[ԖFX|aZ忮P61/[6R{)f!c֟p; rW0+a1,Zkn gI0u1*e_4޼rR1 6&6t дj2qruT+% M7kd@ Q"xU6J Mˌ-X@}^~{\=(pI]w ^\4NPef"y5?ď 67sƇ34M!8UX?m)/G趨ec&2h?o&9s䤣J. 64vLgzV=j!-) k"tymZcܼS㵫 lմZ{Kg3.:?2"ĺ~rdpZ  Ql+7WNO#`Qb-ȹ?tqR둶aGT6 Gde1@ISD ꗦ^ c إyCv .ƪҁ[M4/@+<;hAMŚJ]FmJg" Zu?+#M;YHw.",T[ߚ<_W&`]t>&F# K1!HC_g7@O3£2Oq!H]}J[ۯ1PF{r{ó(vm?|/: g;v9Ŗ=Rg9DzT15 Ḧ6a>1!^OH҉oO`5}2$ `Ԉg"݆FydU GMj[ӆh8vl\޵ZgagD]\A}i5mE_]^7V!uDZ fgm/0zVc8˦E)b=!kF xMrD{j8toUE+L'HjvM΁Їe0nU ߅\vmǬ5OBB>-N{dK>K0nwcv)lM`KעEn #;EDH=ۈ5R> {_Y DQG8 1r:r~nv1]8 ĄW ڰRlUg_} !"+ElDyMOѼz&yr:'*(`zgXEA$\[ VI|i9šZG14R,Gx{g!㱱6"eA@7. YZ