texlive-bussproofs-8:svn27488.1.1-24.oe2203sp3>  <@PT@7!.ܶujG7oe~tbopeneuler@compass-ci.com G7o D $R,Or/W%uWq^GrZU}#.cɽ#ѶcQNll4`2[f mJFsTDz=.-\ǧ>ª-|ޒOƜaSX ; ? d"0 4 e04HLU jv    P Tdx(89:F1GPH`IpXtY\]^bdefltuvz  D HCtexlive-bussproofssvn27488.1.124.oe2203sp3Proof 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.e~sdc-64g.compass-ci;LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤e~sQ3e~sX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-split-d-2018-24.oe2203sp3.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.17.0`_[f^$D]maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1702785799201820188:svn27488.1.1-24.oe2203sp3texlive-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 cpioxz2noarch-openEuler-linux-gnudirectoryASCII textE,_iJqJ,&utf-820039fc3237870523ffb2ddfd7d1f273d959b85973274e5ad2974526288ce940dadbce14ecd7c9f2e3afdf8e7654689112cc1983cbadb52e849156f804052eb7?P7zXZ !#,O9] b2u jӫ`(y/vbIiKg5նo/+7o/!v?|=n uA-1!<Mua-E xsU #/bn=@}ltj iI d>j,X59ض3>]itb|HI4Ct1M:AߗRtECDWC@ IP;mR81nX['YL}+gJVВa(U^$Zŵ*A *K(7T$5&/t-L+>o H.Nj%ۮnčwFZ5TT;\s1l mN!{kwxR<\?:Jv}Ph<="TLf?Zy.mA{K(uAMV]Hmy*}Z3I?j6V5Ao SłAtes(`Q[,bF2|GrζN.x6N=,^K m@t1ݶvg=ӮYE؞w$:@(ftPgq>Y/-x\k X*_`C~H W/1RQ@]n߯Z5JX2ːop18|7&SdiDң"|e0ElXWA^r`<Yo'Dŀk]荜7y`\]tK | =w_4:FuUmA֜akZ}p9m2vr]XW:56 9텴*PXָj0RD%V# P Y! |O6z͂oCVבK 'MGJa S$bKA" ϸYiꅻ28Y'NI:t8֕r?+Xl`1X7Uv!WM9L3Ij u:r[Lw ׍l'{哷IN5¬jJUK|*g\.dFNLcR 웃2?=DM]L6Nee{n~?Vld*أ)ھ7&jWhǧvw=E{6AS<S@44ŋ9,TvF{\Dfk=>*\*{pޙȋ![b`45ן՞ͼaB%FAw$;~(a.V7n6[ |Yw#"[Om&@͋Y֨u8]s}wdC/qDhZgb/Z6mL&'h{ci x5Q%ak-RRԖ[0΂b.n x^L44j {<;iƕ,f̂TAϲh ?iŰTy{i[=`C!>{Y摩7$qȧRDNs)9P¿z[*f#,t.AV p G..ѽiĖot&#Gtindir`f txUlj}T6]L9Z%c:ZC>.☒x+V^3x|n4-T'2(C<3#A>QSI //W8TjFL͸^/nC|>A'̡(:JܫB壶Oιi_jxG 2< 4Y{Yʖ[b؄k'޿} Ξl'MiR\Q0ʙG7ۙ !Xjl :%լVܥ߼x]Wzc82%+Y,J8a#T<_7j|`)[G~cm F@q0whDEfZFvߍ9vD}G$vElK!8Dm?Gpjl"d;3>=/N{P5B׊]-i@0Q;AqhX^<,4F.j8mBBAFω)>ZGD̐PO([fSt: 7wkj2biͰi3hCkp,YpR W䱎Od;٭y%X|U^ KgĶ7ٷ+~xL [ZMC*$\2PYƆG.sva]bFzbOj7DBG:c`Dl).`8ahMAa\,-ٳ][5 ℉aX8ӟh@?n#3Јބ;zZj [@W6 f^f#)lB4!`ї)^I!4fVkF3@+M봧uߛU~whbl8RIoӡiPr $!XծMi.'܊ FprCyՅ+ ܇xI;&uOvl01F3CE_?Ī&]fkt!9%\p y9v9{ Xެr`5DsaX~ Rا/.brkJ(m+k^6ou'n "G7BRΠV%1O غ,]fj2 >b?3n%҇@5-};1ҡ7{[:]*N; =&EEc8!T2ИYtQ%_ڧ\5jNfRנ6v7눟Rekk !vns8{Nkx_9p̈́NƚL+nwa%p/2K!.`0Ɣ. <ͼ_^b=VYW0tD.KF;NY|d͚hPTSuqyu>jJ+b,;z7e7[e*!{IlGPk|W!ԻJ#tyBy6XWάc|6p,nɺ\T}ܦ*-6@/BZ8pF]xZ?;Mg.  uS5l`٬xƟϒq-G I otŐ}< J{;hk@t{c9B6ubaB p 58O(M6xH̑gET.%:@$,#̚t7r A}Tq¿ƗOqCy1fv^>:vBL̉uC%^z>aFܛ(z%/vC}P\GP>)=N \CAvGw77xܘC &,1-ѽ*(D#f- ԛRڻJ[ɐ<ɜ؁f1@\;|9wGw sdK2_9ᔿaaǯ == h;?gϴyޥ(Z7"'`;:KkmhHuJj|) ʹ,ϠD(`z#m">P_&gOdA&mD4w)"w>s#G}[~q)dϹc Q_5ґ8(Enģ!Ct3e~]3+GV4Z$.O,¹$;aƛ7{c.2S~_<Q{{ j*W&#!@4>Uiy@.f~YjNS_6/'3V1r4,he@#*?D}g{n ė%k](&!1ɘacCX(vיbT鶻 ϕOBa5+1`pi6UP|'mŔ`͝ewXJ6vkm>&=dX\忋YR m΍7LY&=CX{#|oe +/"f-ݓ9>ҍgThH#(l@AN B?/ Rk6ۏ:oK̤ܧgvm$PHneJwnbF;-_k[XA>,sYyZ<`(T2j9Ȃsibw\p]!ytyYy6&ĥv)0 |lX}̙suW+ռhΌ=7ΚZGbFz ]œVan 'EpZ 78#ESr}yS*TSKw4_(=h"43 T{Z wL?3|>A8dFęZT2oH%;=085ܔ e9w keNhk2ՑFEchQ !2wɡ)|wM{9Dģ~],i*XG8YRE/R@֗ j{Hci߹jǯ^%`pT>|jX3\",{af+npzQl7 PJtѡas,MN{rti9LSڪijy_3|uI!~MDߤOÀus U$!?I,~u3$@2 b|9oB2#O@aqWl~=rC~?Mũ-k&pG(cmS):\FB::/ G{ZBZ;xŕR"EL'E!d!q4]sz'FrۂQ1of_L1Ӊ@?B3Ʒ$9e=/Tu!6(@?W.p ݓAajR3G?t 08EpXbYl)vJFүI|MhWR < >+;&k aA"[L{RIϠQ;ǖ:gNFh$ŜømUY [1^Ȯ"ݽ͕ {>!^D_AۋԦ!gm[7ƾ#Bu#1B\*z߇" ?k՗ BW@ŵU՘FveR|]JeD1ڌnE_8~a:CU-G1z4b8Ij+ cc͡L.L\м8gku\>CBq,3P\Rndݗ,֓PXd0:3 6DXaA@;xQ5zf0=`@F)R]jiǜOoN뱳 Xw./q_JduxB24t%l34)Rה(Au^y(㉀8T&+\D;)A70Yz䓻\˜렋kV=ju蝒$7$ `4Z1>[,#jKB')DʻQǼFsRE6&t#+١0z0+Nd㐇_)4-iEq]4+i9Q/!Zo(DMF+lވ„lm.6 *#:DS0s {]*@_ؾL2DʁVUê,,SMayGf?_V<uO+v^mzn2SH_A -l tPT5:P4@7.OLVS[r6tU1+9p:C$L{L!~L-2^u2MYC#6ʁQl!2ZCE)uS.q:Ua1)&8]  3"5xM]Վח"̥8Q#D5BK=~]?7rف#2yv9?\.Љ{Ԙ އe><7(J(z)nyמ|~ktא:^2̸|9瓑[3vyo"^_z`ME޺'[GnC&BEUIT֨ oMz6L:V r.CO vc|L$гӥ ؊96c c!%w=2$CI^8-us~/"r}q0mq"BDʭ n(coeD_ky $?7JFМAƭIzX-i41C?SiP<Б 3'51v3P٭廟"q]7Lo¦<*%Rb9J9nkxD3Oŋ{B_\H-ΒJKXZ , XL^fB3Ժ/)oKXo4uǕ{^²s<Ź.InN;^| MWce}o> '&]5BHyp12;%ʖr Ofڢ "ʈ7ݽ]Vf}tq)MjVa9[D4+jۈ(xw>քw`6ړ &\0*llY7%}kb~jU  Lԥ}3 JiQgڷ rZ,A؅Y4ś㍔YLw%Q(>۱KL^t|͟f ڰJt&9zJStn7JUME:lޜu`JVV,0I |!UIsbC%8{uNG5CM[铿P9@Gzw}T]lB_mo/dpKY[9R$y呕Qsn0Ĭ;SkdG޿A{;]x<Y+h&@)ҾVPP폆az >F-:S܉8H#w:߄7w FHIjjTa=܉,=53ot&B,hs#Bp+IO$޻P!Z"u Rm5^\ R7ZV̀w!=gc:!yQ<4#!7=aB/E/Uu/\tۆ…NIL"WS)S3&r1Y +PxGSW anًͥXb6)L5(A5@{S})?+_/ FۊTl00?#>>i*͉l);,h ^q O]?Oҗ18$'[EV}Q.cH >4><93r qA:00~D +>Gu{ejb+)2vRiL6Z70dYޝZX, x tbydN07oѓBZ+,26zޔUcPYhp}>XF/Gx-$hh.gʮBß<n5XQu %C1DfpVYU0`L|> y{ AfL!'_T :z l_0֗1(l(Y, E'rUR5P4B sTx_P\*'p||W{s@՘Y!m;0YDi 훂fpvʰUH$D67)*D[0NI޳0n-̊8G&>=w`L>zݏ /epš0"N^_ DUf.C'⯰:obXߏ6<%TzwK E j{*wΠp]hӢ͵œD7ÆW:BԿ(P^I^>q+}c31Pm~z'zbbXh.=l|(.*KUuӨZ}TU~@>q1sU.|>Ry*Di]?]9Ӑp~DeΕkYez9xIP%mMBs[締Q)h m*W^VÙʼnܙ^D%<ԸZZ~4 %&N]J_4%X)-}Ə,UL5}D |6U\qy"oY̯wR9~FM-V+}zCkr]MʎJF2s]VҏR($ET9N]U>85^'\; qL6ڑdT(%?@h:C%h&'iVi#_|n +/Ik̂8wOD&-FMj qm){]V*+ӫ 9^9XsYjZ`M&d ra[}7b{Ҁצ G#䢧 .{<[WV|ֲ- p~wr 4 tQÆ _ھESC7k% T*][` &AN6660$gaĜ^cjb*uᶨlrO!A#,J]s:A"@u2J|5.KS?/,N}#l@s$:ک0<$w钗͐#aF'Hӱ N98n2~Ʀԟ*Q y}YaHfb I8Oϒŕ.OET8 !Y|"4 kDS@jovFF5G| G( R{ t@2$f!2TӅb6/7P Cړ8 \bgXH$Qio(; `d@CBxR#>I~JAx9=s?b] 47kЦv)N yQQ]Eߍ_5zȦrO#J)0uY PqwueɃL3]z YJAR߇cZ,9l=Rub)3BV@)umr[]_}*FݓLm\%}N}Z+K&G1'E9$(n+o_YbP~ssL-Ku=\ OSVݽѼb q6%IJ?fcfCBld'vҟC<Np[/#ǠWh՜ A9CݭneM ' x^Q\.??G?ZETQ;0ȌߎvTh˭.V.t. YZ