texlive-bussproofs-8:svn27488.1.1-23.oe1 >  A aneW^^f ETp0ž1$o%[EY)*hU: d i>fyЦ%,6jWXtʊV$>>'" Z7;zhJ cwqh4WsN!n.mgJ{Jv>+018L*D7Q1gexa ϗ3[) IZiY _szлZSY#rV-30pӷ c]+ȶTݝOBbb798022692d16b6caa1c1a10bb843b9bfc4a0a05c25b72cbef9e7b06e54e24880b20683c314a73af77f3fbb7fcb2ec1d58fe2d8GaneW^^fV7r+1ͮV].Q6'Z,nbxa*[ ":noͿI|.6X->y7ʿ(P$Kgj.^MFc+׎wϢTϤ(!urG? oR%r`zDɼ<5qjҝVxow{oo:Yw2~Zp(僗x0G45qgcnpP:[r$07l?V{nFk8Rcw"@ gч?P>p= ? pd", 0 a,0@Do      (D(89:FG4HDITXXYd\]^bgcRdefltuvz   $ * lCtexlive-bussproofssvn27488.1.123.oe1Proof trees in the style of the sequent calculusThe package allows the construction of proof trees in the style of the sequent calculus and many other proof systems. One novel feature of the macros is they support the horizontal alignment according to some centre point specified with the command \fCenter. This is the style often used in sequent calculus proofs. The package works in a Plain TeX document, as well as in LaTeX; an exposition of the commands available is given in the package file itself.a`obs-worker-0020;openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤aaQ3a`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2018-23.oe1.src.rpmtex(bussproofs.sty)tex-bussproofstexlive-bussproofs    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:svn27488.1.1-23.oe1texlive-bussproofslppl1.3.txtbussproofsbussproofs.sty/usr/share/licenses//usr/share/licenses/texlive-bussproofs//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/bussproofs/-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 textXq)cXE*+uutf-89b91edd7b52ba88232853a0cb31f4cc929cf9df36c1baf8451e2ef468de10a4c?07zXZ !#,O9] b2u jӫ`(y-7gӗ¸ s4~uvH;k_`Utв@oM 9+"|g9rQy[uUoqct޾9؊ɍh@W/_ٻDi>-rz&oGgt 2=15S-D 4~)xM>wY_܍v>N( ^:\Qaq+Yݶю7$/C7g͞xa L;AuU yUtĆX9s(4έH`+\,eU{0R2Րq. Z!ұ m7_n(pٛ57K\@%'Wd殟:9EJ.[D԰{Ug椳7t5Z3~(U4iaLŽz;aG~ SmŢcE !)K̠6#J̃eCU^z?1ejc0Vi1Oh݄ͧŷb 1'b險@2x xGg]# =$WX~d.4ӣZNzk,'_j3L am )UXTh\ F7EBɻPOo:EJTK[q=jǤi =\/G5I/N8yGP}[$9-t vf5aJz ?]5G$K{lk55YӐ-yL*mC '}aZ|sNG.L+32͒.ʩy=fQk>MX"3c#4?r<ǖ9}iJ%Q1{t;q޹&m5zD .^q]J/0A_#5Xsd#&Y0$aaqbhC&(-xv}}at 'H)F1RH`Q .y>-$S9q֐/'%"r?yX Ec։=@x4/VȦDHyj:x5֖' zs>? ~uϕ ֻ@Ia,d6{f ȿ_~ŹxI@څ8lnOBmMP 9l4'WGL JzuՒaT9ԣ9Ps_Ҿe $^ /9 XȮ() ·._k-qRY1 ‚[(+hBRRYvJ%Ov@H8ݦo s'SHkeln*' Ӻŕ[0U=mky J,03 ~hţ^& PM4Zՠ%R>l꧜z}4_ehʏI2!Ẽ[  vw2JqNck0!VLT>0,h,+4[;b=Ot O}1lH̠.X\%0h]CmnYv!9gcNԸ_ P&]1fe4)D +*luL,ba4pGdhvA/XMlIm1' PK%#w~0GU Dn cQR< {7/8Z;[ح %MJ8F zpyX nI5ᶊ!F't M@jAeZ}WELsT(]qb'wQ˵,е3Uc/o`1S0ҔG 5W*_nwi'=M0c(u+G -e)q<æeg!~P ަK_\67OY`l9Qbw ⾁]V~ce @̒Z⮟X7*'O3KCZS7ʞg疐TrZ[+5dĢ-{9||Um,:1^&C ⪝_jj 9;IVI:cգI8Dg0MǮxd`I1GVҼ曁% 7H0'DPg6Řdbmlϋz=\QY5 9ޢ-lKqr @.ey{w |2h\r"6UYX*i} ~/2A*(8Bf>YctHH祶 bp壣TZ3H+Ti͈9%:ȭY|<- 16#qtZW7^`ž7l>A6s{W8an 2دH~I3Y"<Ћ.&(I^vޗF F"q=ƭfcHC(2({{LSD϶*헽y~0cL7jZl^ NjX 'C%-(Vld~,C/@ Dņ)E[̄=ζX}m}@Aj_K4BN?C~tV?"e k>omg/(ˀ} P_y̵ KYǵ%UfQ+A4rTɅ?SDLRwLt, ]#J<Lg#etE'nqt-bX^GrL =4r);D~B% -Kw@m?<Bva[8ù_GC׹mAfNJUJC/t2u:*v,,^[y_! c=J ƊsjW-DEk3{kXM#%hD,RR= YAJoc `݋]P.*34x_]|#0 #hnS2 AXױT;dStA,TE 5e T}!3 ;q▻c YЩ߬7g@Jid\lj%u [~-!p0:w4WӬM⾈cH]j|=Ϻ5'`9Sz<%ٺ9G-{fM#G9]ĸI:Lc+x1mA1%t)%m{4K#ͭH48{"@Łe.RYpzJ힁l,#tU,Zϸ"m 2(/@[2W8hP4za١bwgZK_2e/m%IV#썘AOkgZ鸺 )D61h^[~r"E?;rU/ O k/@dHCdΖd@A]Ru#'JњYJo9uJ<9v9G*kܯWW73弶i[p&)px@TwCx$OB t٧,SJn2 >:|& qA +dEt/U`ћN7oeGǁ쑱v 獩ɏ14](x4.UC\*7drYEFoL/F7Ywd6%[ 1 F#̥c>{*4!mPsib0u-…1 bM4Du dOWtfRZҊ~riB(rGr#QɈh݄Q駫o 2qv{& M98ܥ$J;|NǢH<:r\@>؝hqlX`T6#aV 8cغMz"u>RONgM'nIbLmvQ}ell*iC}Tzfo' R{FjkI!IG4]^3f褗)ZP^PE{xQ@5z ڍ{ ƒLE3bqR(_H// T4A2!'>Xo,ʻYP}HxQňѥ WЕ;s kIs;&dWq5׋trlJGhglj34X(`9OLcϢ#`W935?ճ^RFkIF pqӿs8RI׭ϝj*jJF9SŠ/ \ה=_+.u0PH )?j0+q#5@ib[A9VInPR`3ו@QڤYGL\+}^O{V/2`mQZdoa$U 9?w֋¥G)i%%/ ]zLHk< <7{E/rf=eA5c&,*N\9:8pdEx < 5bCE4M*obDFQWa0A%~Z2~fV-U r2:5k W+7:wK.$#“:C.ur+ K Hbl_yXISƢOGº n %ۍ-O(t5ު qyxz4b +:p(K ܫѵzS>"=\UOA^A$_IEJ_9ͪ p["F ~ d;ҋ|l 8v A (.) q>|BTě0;Wrd< 'M~rs#D>=,'2pƫ`@,3v9fq1ƈ>kp.e\姵U9?OIqM* p̏I<!hq򰥢 CCx9&є3ɞ᪌$\iX ǂ{ሱs/M'sg2APo6يXt"xSZ1 ++vB %Gy)UQWRdj,͹U8zDwM !dl(;~&R6d6i`z)`3v#T0 }R/q5T/K`}Ec1#s(Bj?~-FVfjg.3Z#Mq9i"P=>_cHbf;fPq p70پc`ohѾ Eԭ̝F bH%Ӵ;)RO<5@rXɆCܧqȋV%%Gsxh;?2f3 Ҿ+!V\* Iw B<,|3q]MvI1s8 V d'F$>)mvp*-. Xa)0@Ƨߵ927S9v((wlC}%$ K34(0xڝ'a[\Ħ-1":w_t_DZ`q7t g3EpW?L|*%dĀgbci=SqՃ*l iĈe1iZT$:[{ a5\fD|ZqS؃Tt Yfݭdot r%!4 ƙ_ɅJO!3Pf2(^X8H`:TB@.uO"g8tb7B<ЃuFχ^=þuҷwh+ۖܩx$M/{dCP'ٽ ə:n 01ŮTQC`9 hD듹QM:uEJ\*"Ÿ!h<"4: !"G0RwI6A2W~[5\֑+لse]/0H$M8-#+q|}Z>BDOl7GŜMz ۃVɁh=4tzjTvb6n`v3UHRCL=JWpp4M"f)#.JGnY_S 7f1dBq>n~!A$ڑLwqslT $cS߁g@$]}[;w$^U5T)Zfg RIˏ8U8޽cPU1@nظPt:>3j><c/qlr%gUmGhN'=8[y2q$PCD/O9yE.*hpeWQKS0$.!al&''\'=}[Q8Y AB$7:U;)ӭ]JB v M*|Γft\\϶W*vwPIWj,ZΣ3|ר4@2,isS"EL?W; 6^ݷ,;yƝrUl)lK}}̡v܆ cB- \ϙfMѐp'zCʹ>5`u7}#Dn> ?tR p9G3Yp6wЄ?PF3P-B vJu -.s\ZЭ+͏vk5!w)oq]@mx$J;wl1 N EilN}x2Z0[E6HbGW!<nwUÚV@L7X:@èź-CIL6D$ +$&S9-Vunh\`A_@Pa6'hah(Y?[\P> ~鴨\skvEs9@kaCrES'l̠ 6no'!Cz Y`t*&o -j3ǛOZ=hʠT2j)@rB_ [U}4wG.`'hxL[vޢ"coO9}37ΆSvC`mz{JZǡU i.=UOrJ8 }<W"ipWHӳgUTL̓_ej+'{m:z>z^rt3Su(3'@TiZe;_2gNLn4m죝4CCM#Ĵ{X"K < .6(~Ɓ< %OM%Tlnɞi3=♁&z;!)ױ"*# 62h KFEe{7Jpf1$8Gl!dԩ Z=^xd$T>f9R;.Bc J=*M~ .ɯ ,Mz">ð-ԶtAaYCq_評 _x6"Aj]UaXI%jK ;lρ"ZPh4,5f,pk.?.۾ ރ[u1渒kF֓`TtWLWLTk}(NҨDͻݽM.yWL;L [B#խIyD]ugn;.pBLLˊm\A)`8oRIKhm Ր~=S1rB}_p,n,sE *08ZJlf+niEOOG 8qmzY7o8L`9kOH`ΰ)EWsP\f=+R9ZLG~]&Y>_tŸ|eWWSy8!.-VZN%%U"S(/2؞߈6嵻vP)=Js^eӯ$RҤ-]B<ʵv9^=q4c8(sSjVfttRa0+\^D%+yovuH)%ZhrtP+onxy<~QddJ' qxX.U3@ML!FenI~T/iT>"`6:?}UK\+`e DA0TlqC;:^q[fɑ7DWbMB:rb0vJ$j%H>()]_^9["r6'ɠ/Dq{^4s?x[3B+&.Ph8h,ҏb$WRxL4r*J౯Ւ;ң'1!∭Xq{K8M&;l)֐W5BQQ^pՊ1:>eo,'/xȢT1=+dPg!Io Pᆈ$N8-AY@MCd8q*0=MFQD\wP=V/ ـ[GKAa}'P"smP~q Gr=#&Xl 'ܥ藰kraz7Sgߑo~=>B :K{u# =";aE@RMjAxv~%=yN5gxZ=ҦxM $emlr5ICD Φ'T|c߇Է|7Wwo+y<7SՎӉe{jΝc||pĎ{d?͒fɪxuL'z/X=EqǕTZ6B*oPJ|(*p/w*;ُ<ْW}缆yZʩeVyMM3NeuDP ;w%0kZe#Fw=uvx[?2.Lf 6"lP盉Iѧ8c!n}IBRsJdȋ:9' 7b0W\rK0&3kPr.le 2Mxw(sy4řSIh 2MsKgg[Јc,O~vMm)In<2$ N9-:7ܨZ ># Șk?6K& = $`/Br/&p0\٥qR)F.T2"! ba ZuC;P _D%+DRҾ.qx ;6Q)i 2Fmli0坺PqsW@%R~JH+T1Ayuya%wT$Ws8``GbpgMM,Ls*Ijz.\Ua)%ǻK&cE8s!a牻ʟx00nd݆y/lC8 A_ìTXUHx|\0ԁ>"MTZ\Fj1ZSZ}(Ъ&]'q)8r<^EP{SHŢ'ah3T~f"v R"iih|p <ijPbKI +5K`^z2=E'(Ĥjdsotb>`a~&(Z8)h Cgwõ~riX0iIgOo&2 Jn w9vs66.6U ILw}Z %->T l"KUs9s2W$Խu7aT4Yi)OFYX D,tñY rxe2%ExZ㎽:gId K+Ց EG sptѕ(ksH:NY?>6Y{'tlWT9%=F to^Kaqv"-ZxDИJ(׶vd p$3ke,_ I)bZءL$yKrt& YZ