texlive-lkproof-8:svn20021.3.1-23.oe1 >  A apW^^f5 & 2(8,G\1 ^qr2D( Vg{2q {y5M.C[ԋdv­( "ĸLXQS1X6Mj3aS0WKht>pX%RA H."j2 ׮o\wi6D}HJ2Qݵ3 k"o5fVe@YXCks :y'Xr\; >!#dpKmrViRkҴ8;Ecx>M:n7W & @?B.m2aLJVٳ+ڣQ>o )1vVI\oML^  xrp]5ѹkT. U!=9P>p=?d( , C  ".FLTd l t    0D`pJ(i8p9|:FGHIXY\]^2bcdeflt8uHvXzCtexlive-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`obs-worker-0020MopenEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤agQ2a`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 initobs-worker-0020 1640980622201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textXq)cXE*+uutf-897189a93f840a19bfe055e6da085fcc36ec758f1d15bf12d2243e73d81cda52d?07zXZ !#,Ph] b2u jӫ`(y-7g?c"-5xK0{6D$*9Dֆaak i}Rt"CdD&c3}Vy3Z c&8`pQʦA빹.^P옫[ @ʏ3ms }`׵XܒS:wR OG4__,l퍐|pIa(#q/x>3R_Ezy'(!աN=5`LYm Q@ꥊ=!`woM@1B/~dQ{- LId1/T@q'ו*eZ-J㛄0IAmժIA[;"fIB/{pҲ[J01!F9IL Mnv8A2PZ˝gE.TG؃E\.| 7\[,ۆӣi8h5||)}#>z񄪏%H9_1-O?B -FS<*Ji6tOǶCۖ2XBK Sq0[F{wWq)7^D@$SmKW[xI2s]Y}!Q Io/n㇈ L閈m׏Xa3?[Pr-QUՎT4Dy*Öu ށ*(/97®6:uY^}h#୴d$Ϧ8$/2[(*9V5^+[oojfAwCK_+ݍٮ[l!KM{OzIb`^;,Ҿ vj#w {X?}*и6Wގ=ZR4cN 11J6&*-HǛ˰8$ͮSkԾ7Ԝv ݛiڴ DKH66an"J {!xc#6O^ٰJat1+Do έM4VX;>mĩ`ՇUW?Blt+ ,$ZSJe=ǫ"츶˹7Ds w2^g(5NEoѤjncܹuth4DP?a[\͇Kjgjo?)^ ?^@+fs-o8lhy)N \ɠt}!SwEȤx'h48'!{h$v?#uS^?EI fĆ #(p.ܼld+?V$4=-* 34V"1x, =8y/UY{+ i+dTBH7/L0bJCSj"iN,C5ZFI(sSy#| yuٗ5zQ>bq҄|'o%lky@z2"&,%NH@*, 2#SFلn.@$"YǮ prPfG)X;#jRRO^ 5ߚT0x>ccK4?wr?\˲xsgI# OS ̩{9=ԙZƚ$yO)xHv{MIG U7QyL&MfZc/@X 1}'3:JWqSsgKit,xrC 宜)ss2>?8В#ʜ}06/'Zc9qwjx\, +4\=Awd|0g֨7,Tawi.|Aǭp̫$dO&5=Ha|6=qMujrܘ] ؏0q). W[F l VZ/qt6lN&/Հ(EyM[hJ QTQG7̊~'\uUcN5D+R38#2pJeQ3,%r]z#(+34Smg"./Q }K-0&,RhCG?4X0[s v[bKdhW|O##,8"p}NW/:t [Ȁ* xR~`x敤_lĕ7JӱTa֧QhriM; yu`"14\ ՋZ,rGx!JZtzFc?+XH͓NFcZk\Tr`F-6P>2?]EsC<_WNef"W+yFud':M+XDұ@`S=OM:tVH۶3UHkG~yQHi_ =R[ם%CF(Au-&#H 6郞_нZMe}"өUf Rq ߐ&LC (~eD^n,X¬k66'Nq("y$Z-? -Uʂ^ e+D~S%' b-!WnVvˎr7W{z;y=$ vDr3'cV79f_$Hx]~Mҽlv69)+慫gYUeo̗͛0U'! }0끽#: 4%Xnb?M<.9~.1y]QKќT;bSΏlM\;8ů &^V-i]I_uv"|%]8@LvNnO1H瑤-cU 7XFxh2fq:0CS`)6ЖiiL?2̟Q K^MZK@RL ɮ'MSq­uzR]CM+3!W9@*dg/~}(8jstQ)2–mS,l AyWVo'Vp꧑])P1 =ϗ^AhłժCg`5{tfpW%o:Ah :?D(*`VAsDyѠ߭=<:)E8 : 4Pj_>=-n&G%ikc8iwN\NlW8k+/ Kߋ{$C}ʤ sSFV-RL2@\XQzgQcLnA+.s'S4+j KMLB?:bV\V4gD]FPQ8Xo&?*# OF7wxE/Ϙ[$h+%_};n4\?S&?aYM1s>c%Ae}Sxx5J:?xUqJ)Z1pG'C:pعpߒC4|N$]6S&lh2bQXM0LȀMʝoF)?x0)TxDІy[JE|W5zIӭB7ϥkܜe`1P*e˿8S@ڻs&Y sv2je^^!5>+7T~kxȈ,`>s5ݪhߪL7\톽RKd-b ߟ?8+]6QdTɸ̏M4}os,q9̍]R㳮;B;:~BZ`7V$uV_T&Z[0]Vs !(,o~D^c/z!¬xT/I~MZ=HT? 1>+sr;Pkw*YHx둇fʧ CNMd&Pe6BI޽%;i]O3A8s.ghgZuKNHLUt'WɈ,%io9up=D8ap gw_RA͑^!e75)ȕ?/nGinR9w%;Z1M2= Ota"9Q6/-3;ޞ`̶͕.v84GXNW2eZ |eO7zK`(z H2NRMW^I$@1qlB0gg2ؠ8[x JN>4|T{v\+49:ú>q+v4$w?0a֋ą)Zakh0bԽGss+,o_4wrH!'4B&@}-CAn@|H-uNDݖHN}&C^|a|K ~\PF̭74+#Vw"<"x|S(is~r7 B0QN\Fj@7. YZ