texlive-lkproof-8:svn20021.3.1-23.oe1 >  A ahtW^^f|}q 7tX!,hV1P)JCu+niڋkj`) 7UeKRX(FmRVyi;p}'s@XۚT!!բth5-59j]<:nC_OR) &f c7+;a=?&umO[LZ^;N9k+# >- $lDTJ^J1AA_}ꈠv73ffd7a7d2229a95ed1e6a12cc1f03954696a1af4323afe11dfc099c144ee067314b418521282a0ad56b65cbac9a0bc892acff1ed'ahtW^^fđ3"#1'#LH>>xԞp=?d( , C  %1IOXh p x     4HdtN(m8t9:FGHIXY\]^:bcd-e2f5l7tTudvtzCtexlive-lkproofsvn20021.3.123.oe1LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.a`pecs-obsworker-0002MopenEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤ad$Q2a`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-0002 1640980592201820188: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 -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\?ZK6=#LCutf-895a4ddf93b7e07e62722d1b99798f2462741a24e8d9088c3c9e0021e9dee5f45?07zXZ !#,Pg] b2u jӫ`(y-7g>ad`E#۸{^?+7+,abjo3bQ g6DcΤ M=ߒT+*Vlh֣l|m8`c$-ϭ9[-NH"J5,B);R'SYB2 kSm_w=eU;+{7^#?$w+Ua 6,OCz%:74H.Q#e6X A[bp\J8oBJtK3Ha㢿Ж(mm46iKP{1m.h;6탋J{>ᓷT8EpZ% x_a;n/y[-$'5UMZC/ :BrS0~kُ&r[F:x:N^ >8PK晬r+@QoÆ#f͒@c fe0),&JNxȬ90r<WV5y!s v2d$"-pKNRx~۫ѣFO$Q7[OE?@Gh,4zl@~aޏ^)&ף(CZ|B含/ט^KZ u&Ub0酉4CmicOKrոb.W3BMNjY\M"=dٽ G0wp@Z!xhx8L?K !o훟n?J "Jn8P9Ə<a6mC࠻cJrhj#3L0G )pXgfU(hy_D(#ϔZYK:㘕|N YKy[FHbyR~5f {_u%Q++QD^P%X& ,[Z?EnSElh]wzs׌E7=g+٥.LjF}gS>qx"aGGEW-><׽LE CF{g(?ǽ"͖ez0R_`uU!nsֿ8NmJbB iqu!2BUITQ PmU M30%[^]ۥD2Iw*y*lQpCRa$曯mӍ&b֡3ߠ55Iaꇛ5f#WFUnHҟO?iKn@79)c싱X7"voMg %hmZI#@g22PD#*p-t継R/6CFK[J::ʪAw*}MBkIiaa NMS !ɡ{{q\u!^\[Xc486hPcK4Q\!~dB73ĸ >:@_<;L LfmPW1B~ 3$.DףG/+F1觎fQ>^YH.҂9n;"?vɏ@1#8_hpٸ$kZt"QrM>N=G44^J6cAjv-e66ҀQ^.ёM4V C*q[ &zN4:1u~7 6b[5MPDOV+iaxU)f~4Xһ9&OƇ6 2[!t21TLK_wZf-~95և=-Q/{2jYڷ$j0EQ/R,_G!Ԟ -EwƼxF1s0@)^ɣns.SͶYc*5yhM쬣-&º*Kmu.&۔)J/C^!xswوL"jh~T.M3H՛6!fr@w_g6Vg׾/dsh_u;20TVLl d,% YlT~'rbKstl;Su?ōJ"zdAa&BβZaU|_I,INUpy%^KASLd Go}Ć 58Pv>1‘Rs-7EF23$`Q^(53"hmKDri?P@M$A\L+DnǩGfKw_+z /U \૲a)i Qu[gw$K4O‹U.t#gâsI%6b4TJʦ]\``Yh"9WX}˯&)t4!-;_uZ_^.GD;pe ڟ 3f˦#m,z{wkjo9u§6XR?t|dr[sﰎM`_j'wD ,HO߲?Ɠ /xb;<ϤZD8&V7_巼YMηXMPfIP[ CdLk%2O 0@EHxE +;wJi>E=@~F|}RY"ȭCUuFeWRhmFݓXݠp-X)=׸53@]B6:K']0d nɜ}A~]Ydo,j\j|0xZyhu6?%{?&e]7HeJu~Xhe =//? U䒟 N(qTJ; "#zu71bZqbo22GL97?Q r"|f&6?Qvܕ-,,lJK)y<:_}z]Y{t|g) $GEûw).Yw(˄k(bTgU߇hI p -k'4Z2Ȯ;'݆hjD$%8VO:Y@/[675yq=BEgaS2㪽o&иImmK-rwv476M|N.in)0@QjfϲFl7}wJj-&7`T$iՁ1vBe_^ }tL.o;b+CdjO,\c .^ mz n(= R\k F6$U~ODUa߰Wû*_xf+NN`u^QD4쾭ŀ \o!GmC﵋X?aa%B)`5^!q7Б}Oi6s礁 >+˰B6tڍ.4^b?]EћDsl8li,krLX Lg WgЭ,aY7m5p<[}$ :L6ZwPZm Mue5rzCrs6",,"%ث7!s@FASzhqxt߇NzKtE#/.(?PPD 'H}/5G-(. &U_*"8\d'g82V.54_D"A"'7ﱆYxGjOC=LUrl!]Z / (f49?%^4 (Ką{ : / &C //$xP7Th_*נЩ?V.+ M]4IĒ44f@[&icyfI2 fzUӾ5mC]#Eŕ<'q:~П>ېig5rob?G7HrX i-]>zyqV. e9TbX ¯ːEJl?eq>d@ۈ5*u+ ͥ-V@w\s0@+ |՛"ɧ"ӭ_n&2cb@(Gh<P\{12b=Y]#⭍|VY5ihXhVmlspCN8B5> \ D#0?+E wЌl :sLɾý>oĢAر?~wyrmN?HK|gZy2SQqdv*D͠x:4Y4&u8@ЃKM 4sGcȬe%GV9&FoabuK #U6DQui"Mxwao N Lz0vjdiTbNK ͥY{<_) y*ONdo. |lVx'I3'!da@"A, ĭ{Kp=ӎ(Sx*~6ᦸ]L2AGDBW:jAb1]#FUi$nisdsQQeV\_K+.YrtgdC2W;ʏ5X[!Q 2ֿm-,|$.R)֮e7 YZ