texlive-bussproofs-8:svn27488.1.1-23.oe1 >  A afW^^f2|) ; 6BW@p s}R%g\Ws2#. (Χ^}7tp% |:`[Bۊap:|9h ͇+׺0~W\03YGH?$NC/lQ= GHDg`tDDͥ]bgE 7'|6ee60442d5407b44e9e7c63d4b12560b87fea7e084bab504e57a5ef061486960ce74bc3d3432a291733811389c77fe60ffc6dfccGafW^^f[*?V, cJ7؅-6ϭCĶz~Yb-c5:{o ԱT>2apRMTŪJDL_헆ʰhӣ+}Sz9Y'pJ%Ɗi/ff7 s0*Np= ? d", 0 a,0DHr      ,H(89 :FG<HLI\X`Yl\]^bocodefltu v z ) < @ F Ctexlive-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`pecs-obsworker-0002;openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤aaaQ3a`~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 initecs-obsworker-0002 1640980592201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII text\?ZK6=#LCutf-832c33de2b52438db4031c100110f8c973ad999ee74bae2c2c5f104b0e12ea8a9?07zXZ !#,O9] b2u jӫ`(y-7g>n]poM y @!RݸuVz^FdSsF`aEՇk?dJc6<k*=3J(FᰥIF 0!G% Am XŒp%F$Q0fYaF1fD{qO AGA,u'6nS52/4>~݈41ߜ_0bN,TvqSVFoS Bo13G JguxDo05.Jk#f }DTVA\=O`v%S0ݥ)dBnb,bq-V yTo@Es26;))˰ FX"UGTF#/\/2O+qz|')}Dݰ8Ѳ?ޟ?-.|#Ns}sM5B[cg=ֻ']FӍ#*E0ղN=!`弄WspX8E-ݬ>N* .B\Uh2B/c EgͨFGTq+{Wq:SJmZ(EaruQ냱U¾94D_]m?`":tGoGh{|F XcްL7|E: (3_ o %NڽxێG$9xl+hSucA{_?TDĊ`x7: &%8r!Z٨qcskO)!)4؏{6|ވ;W$LCCE@|ˢ>=}spqSy@ Q?홍Vz7HKpnA3cY+" Jf4silO~Ta㳕I9&]5*)eZUPg1Xhd^jL_ŵM1r[)DZ9( ' QWB7O~t#>) f5Ava0HwEu$PG= K/&7l$#DָĂ*I+Y\ q B0>;얞2L?*i/ךh_$~KÏw]O0Xm^s ԋzfJɁ&Z-`F$;ʤ&D/pv0x$x Ÿ'x_f|ANZRd!TUBS5*pkT:b۪Ł4#*~H4& ;J+KzQNk *Ye,¾L7E+ϑ{~3$rsxiB5f lI&qШϴt~Z Ň H`TǼ" 򝎒΀Y:eiN`4_սi(ud?M2a8W#w9T(YH#24@RǺ5nٸ:YPt *YvB(ehn\VAL1ަ{^b~˵8R(rhk5G3˩lpc<;MunIC< ӊY/mimԯ?{IWt|WM++?ij볫n1sٱj=6A\BAK(*Qt[sdJb QO^E'*RuIlCӶoJ`kU;A!}@ϫWTfoeGyݿp|I'v؎;]h2-5' <;qh 0x{mϱ &M\;+?G;%n|8ş˷8CW{PbXvYK|?p:m)$@{34 HX \ޖzInSi0ETkFPGn|MS³eoѬfx/l<\Hk}7k zBD d|.c+XL+sS˷\-Qfk VE2]?;a3\Qk%8 /Eo=@TP>. ::':[bBGa4~lfC_cZ/E%6>Wc5Wf]:{6'>2 ʁج#T^eo19ܲkJK= s_v}'JouU^^Cрy$=; 5$Q;\Gvwi[-0[;͡FI%koG y=6׌aV3zVDXTq2sÎ%$J |=}x$L_LMu*NĊuQ>S 쇺%i ^Ψ9n.)]V#^]N}}al_-gy z<4vO? J]8فG172)3.νR5w7I3kR(9ë3}ʺSց0ŞB\P\a^) LT˒pт -1ˈ+oaGN,_mjNk:ksN_J룅)21|(z ^GalBrw|d.Z W4dm"'_SPL@S.Pݧ;z5 uT::pbIIo凷5\?E~Cv'mnu]2 '8t4:_~BB>[EU CՃLm^.Էu耯D&:'"Jaj /| U~c fEu_Ah׃$ Y_ 8 ]tzWgp+)68b V[l Nf6h"$'@)8y 9YWgb-A2}Oa.!zۯ,`(gȪU'mЏΗ潊qQ)p2Ig|+k tx @*;"-%Hσ)i%%tF9]<)HO(uQ "pӯ zV/bGj#&T6 9L϶aʤ90{ i3.0Jmv!_p(rOcWDL/(ų1f#ӎ?7G;(\FQw!֋蕨nYGZbȼr1退͢apwyqF% h1iYs @%U}kC@֢|ՆYΟ`{mkEϿ=x~0L;13=*W^um5$`}|iz =2MTOY[VW!xw)Ɇ4,"B;.UAd 7Ef.cR!f?QMKj7J仙>$ /zYot'˲~NS'jK:N`Slhnu *.pJ]Z7y{b \`nb1P *g7Lr_8V/vɎA>,QũםA㔾wG<_,Cu&!}g@?UVZQ'U9>,1Y|0ܳl{&EQ! Ԧ`hr&qy_mQ-pPX5:.V zW)PNo~QZ)-2ӕ = [5skfղ32$TÎvoJ޲2Au?K قC,߬^X~V!Bs5>?˄'R"jZqiB [/yjHIk)gacMͫM;cwnV`f> a=fS*iG5blb͔1cP#!܂$tתCq}ipp3 m9CwdygqmgQB!Lm2#\-١g90բ⭍4"bb}S3lz4ĸ. /}pYY U .]:Lno>O{S|UDE@%U\eH6leVL0q;+*&v+9UUٓo@'A1RkuiE|,J r2w&hM{| + Pb cLwhlSxu_ ơNolA\\n2 BDp#z,_PXej$՝y`9m$qsWnߵ`]9'"rն  f 薏k"m@V9ZAyTKT4>2ȟ}ALO  aG74rV;):R*3Xr$)Dž|HcN23at 6uոy'N(|NȿY?ScXX_svoH5z-Kמqԣn)]D ;qg[lK U!qcaZO%|z+/w TK-vK^Df#>Tv,[r?;Rhsd$[DtKQ܅Tëy8\l:j.D֛RغҢrՂ8/in5FRo<#yw}qVWM \z6Fu=M8UCdp},XKه< T9lnS<]1J]~ph,wUi&-kQW9DlrQ?WWDB(ؿ 6r Z Xgk5ֱ߀A.#.sOq7t8HElK+S3^Stwe_*u~:p!E>ѐdGim0@ ]2lc4[Yߙ$]fj/1:$p8 "y24'Ys2coJL(p0h|8G߫C5,*@^ЉhuY]%;O|NCzU憲ɺ&ïE7?Ȼa /bluFxnf:SzHNhS=u9ڲI,Mճ/é-%$FX=y7I\^7* {BX{GQ)qTB2`R~f2`D.>.<. ~ٿq`4bb;I{/g, o◭%ٹ& 3~8͋ ą`1+|h#ukZdM& 4Qy[-"K Szt04JI4zQ_ թ]趜g8jl%#h W{ ,Clft$u.f6`t'8t~VmF|6Ѥ!**V1 u;Mz.$@5%𽿏Ѯqﻭ{TNpr#4-$OwNnza" Ξ.~es(M=hp"#[WZUT.wa΋=]z(1j!܅EEhʞ7hrbquM >.j;y[)n(b鑬0 "Y P]z$.{KHEzj1`cg)\gͬ33[8L=<.}RR*3őO֟7xt(ݜxC풖2(P|(FQn` BKA^G˨fOܠ5=]8 Vti˄yETs$\hWZsj__ݛ}Ӗ4V\N3Hk PA롁tN|9wh^ˎ&`Tɀ$W6M;#_D˺yTZG7# ]rQ\gjV2Iy$b c[fOG4#I2mbJAKLM#KkL;M'XD͂.rG;\lKULXT,%3ms)WGr|x8V 9AN{b=a"jS3SwMfV& Ze˒х9y.|-[%*;&H>OS.||YM缋 "_oNɈoY0z$7L͑>EJvĘ9"kD>Mo1k7@aaY2ʴl*ПqjTNms_d6q 鷱17R%$ڢV=Qgx;l q9Aɟ /vi4FZqȖò55t'tiY4"ӏUOlq?p>p)la6`?,^a:U"$EcO6}Iu2RYRm4f|뷳uo*!/"#yS!\,Tjun5R%Jy7ƞOby4^%"<^0VrqlI,7U0wTG>?l UI C v+;wOwv6;}B~ߚl}pQ_AB>,Eo,+_&K\S˚th_%~{ bx[]?,h1[毦5o3dzv3mZi6345P\S8P;"Hf B|sdK@1n,+g_l#8eWǢ`3Nd/@;YNaD;3f*2P#IbD:Jt(1 Ki>/|3\>+RhpP%noPm>\@i?bS17&  /nv2ZXlڀ}$ =Ҁ>h kuZ)NH &[`<3r3$~@?~ЦlT_VgqCJ Ő! -ӗ/bo?OJ v]L`kף7n J#<DL'+ZcՐ!j!:ίJ`Zx  o `P[cL ϏBypx96 WdxW,Af`hJeƬcf vϜEbK4;`|wdGw_=I8Qd}c~{s2loۜOO.Pe(`nfXp\}- j"$EVVx|Ƨ>W ~4PkҲŒHH_1,gkP+cR y379}ө8S9$475 ZX-BFA5nmu\xbFZSU&NJޚCif4 1 3բTUO+/]x)ri ?\|nVlUPQ)iVEb.4XaAqy`^\~ޭ#Rvo E%WѠmOw^yJ⻳F2{k.)TJʁ8h2VAD}PiSp\#Gs?#Pk'ZkCu QMs? ey>1v- C;q~fٻ<WSY::Sۥ}W LDr*xw"jP99kiu?1`©m1ɹxJ`@ 5Cs{SKt| o&$ٟwy0Y{rMQ"٢Rªt)N9?yJ-?i9E-0=7 I&y%`|=x3o c1Zq*[-Y],bW䞕<;uhAAƄD,wb#ò{4s1zacj}Ƣ+홆ƚ4r4 }ReT݈l3*{R#)߫p,kTJ n%[ (.Da c)~Y bgˊt/Vswt==VWmAAIq[K=N(=A졮ZSxٖ"De Ϫ<{:Fq ȡl^.i}7ƢV.:a$rD+eCMC(%+B UgAG'یgHxb+VoTGf lМK֔CiS'O~KLcm} &\I:7:cL!dl3 F UKGP{ZLޫ+Ө:4[C67:of,{ZdǼL|D3Xy!esbHpER&~1sF'eVW?зً|-'Unz*IA$y'f5)V"?7M⽎a?U0K_WًV 9A1u8 wVэaL/ *eĴ35L(ZbP F#ff(5sl$ +uFQԿ8akqB.Crߴ^ ݄H2ٟ9#ɨ^ 0%FeGZ̩U!qRQԚ/`>_Bn7@񍳵$"l$ނV}5-DWyYxg9?GE_tJ$9Q3K{Pm$j xTt@Y_ʕYmQ^8KMKC"i-tT1H?ECYYF,%$M |q'%L՚X?YH.:·ݾd(ar5k!ИL;֞nSl34WSTѫį0׀Z5+U{TQ=ƻ?PJڑ 9G$OYDM9n,&^!MA"' qΙc=ꌳLq)hU;گ\F;[N2V\{f &iRv&iа?b?}Zϋ!y0PxUJ2x-m1`r҇_V6꫏0M$-wu%Y4ct6Dk .)<`FSk"=#z7_f<6ľAJooRXƎg)`&wd!Dj) DZNfzo}C:ȧq0Od, $ 1:Of; r= QO&庝R}yNܖYKRfhÎPl svS>[91)OTq+#L#Wh=4,pFAY$Ӡ˄$XU|G8:bC:&ݴ1V8 $%HԶn j,0:1Ӱfy`:,,m|5xAy<|W-{ȥ+?VVn&IdCCfX-]yLЈ@YOa1cGmGI2(/$HHU,%cƬf &9\ P.b;RE#:4Bp,ߥ'.}Kc}:N&8%U{MRܡNpx4zrM UKQvcmhvsӆgrrGB"9酡p6*QxRӳ6P( PtkMѤa11oñTXAX lhC(ۚr0" ZEDa^0>>kO >@D} G!mW#ˀ< rtCԣA9`.ZA[nԈzuMfxL&2|Ifj("!#Fwhԯc`^ ƉT_hmvFcrڏOh)]'BT/)w7;Ao!:l>[f73d@6˜"-~U %I(qգxTGw>Z¼8=xUs8d~F*Bt +k_ju-zL@'n퓐yg= 潖I0>!gx`=րr6Kw1O~KҶmY;2isuxCI$IWlxJ#zjf8iobuU5YDsJڀjKXΌM熶2q(}PL?)\vf@Ԙm] +&_rw!:y(:`jC8ҠJ.ϐBßLixإ+wƂ\\,VLݷ _[mуo}+Yߗ itTa9y!/LT-wPYؖ(?9͟퍧GUZ4vg2 {؄׾W0ۇΕC||@kyaae<.Qе,0s^*-jdp;6w1s*} cVpA?v4):ɽ)ʆO9'dew!6zL#͟4L nNċJ. p(Ws cV lR?=t|Z=;las 4!,WCd5ھU3xڃP\wsr]553XNRU%pUL*%~[ HY%D_"jryaΪ I,70Pu4(iFj[:i+ݽl+hWx"uA"DGiCXDـI_n⯔|;9ItlL YZ