texlive-bussproofs-8:svn27488.1.1-24.oe2203sp2>  <@PT@7!.ܶujG7odqopeneuler@compass-ci.com G7oM -H"e??TbЩCi*A)`SDjm]Ι2OXI@*K@׋ـ7\8jNz?3bW7ORx|fR>O:@u>,tj3JIaA>ۛvSXij%+=k ^?Zoj7EP]ג4z:tS4*,/wQ) 5~dfSL OQµod~s6ͮn9]? eK@=np8mb[+o0 u^L$:4vȩ,a#yy-)/N<dxSȟA_d&*݂ 'K%Y"Y̞{] ;; t5aaf3ac1ef60de6ae4ff7a758753aba5c1c60e691478434b630496a088cad4ad57b902b2da509108d24e540a99404478ed235e39GWn~ >ҹP>; ? d"0 4 e04HLU jv    P Tdx(89:F1GPH`IpXtY\]^bdefltuvz  D HCtexlive-bussproofssvn27488.1.124.oe2203sp2Proof 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.dqCdc-64g.compass-ci;LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤dqSQ3dqDX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-split-d-2018-24.oe2203sp2.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 1685178435201820188:svn27488.1.1-24.oe2203sp2texlive-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 text*vMf-:fx^<2utf-8b9ddd0ae37d8b4090490b0a7d4f8d0f48a05c7dd67902dd6d43921e4b85e2a77e6abb21d01deafbddb5974b3389b33d405c778929d3824151066f5949f125281?P7zXZ !#,O9] b2u jӫ`(y/+@FIgf;6~~MI9bg}+vGgdKCK]p9ΖDG+OPjWasK-27A= Ir 'h]cj`_0ܽN*> \o'Q\"NE_ؐ2kCoPٽ4 ѡQG#Q:? %%X3SF+C" zV{DOEEiݕlB,W^UY 8߸aHR0I1j, FRuK'zǦ""52"7y`GB`ϗ}Mg̓0h:ueÒ+#l`jZ튢z3U >Aw\65ue_yoOo M6@ȥ}|V_'] qhV $ qًPmZ`}琌N3/ɩTrƬgĤ0?4dl -'vgdΒ!DPNuG:xmM[p \5ȆϺq%j"ReQkV:,eclGj:ۖR'@Jak*&Pk}4UFh#㹎}U'˂>Gee9i-MV˱v{fieaBr_Ps0Z!LpXr"UNĒS]CDl+weu}3HC~94Xx]J#–2$`}$fO0AW|Ĝ}6V+U[ "`y;N6*8`Bͳ\јW.e{/\tZŠ{RUPe#@oV.ԌDiMu'l5I/G<0I23Į[|&xR\vC -4|?m2ǵ6Dc$aFNxۮ(?KdS:U'"p.'e \T P vr]ѻ˞UDjC'PN!;gֈ~>q_%`ᦢK)qoB}-&m9 Wɿ?skn7}~;1I)4zran~>-~g":̴#j4y4Tؠu`+ \9`yMr )EQ,'" 1=@&.XD[ΎUeYNX.D\Kc_An*sM\M%c%Urry~(r2B=#.T&`I4 O'IDvhD@$7-"PR^"*e%L*Ǹj4)`tlKwX &rKJ"I>d_" ap'㬵p _漿GfR:(/v~vFIryd+P͂MZ/h<2-.z1@0z^ɆJz3 N[7K63fEm\17eבP#y.⺗B,zs) ύ]?-Z/CzF~{1*PQtq;Vqe>j|wt. z LqA,I E,\|`SKƪxWpCfd"egXlLx5?]xJF2O4pCN$VNh].p 0U)S֢l/1hwk+pXT1)non -YqXScuc6=ۜiGՉF,-K+24 ;~sPB ˽#릟} EԌ`FXV@z.F`={i{|z \8B(I+.vɂ JkNc,9qij|BZXrUM0|{RV/ƨr9 M. (ey!=ѥ]^65ew{K%$8a:ƆYusݑ;)-98޸q^""1'qyn[SW vvD:=ÁweBqLNa\<խ3 #0[A{ b۪J|ݟL6{9/"QG䗏piyXtM1fۜSΥ:q:4Km{l}[#84[g_H8#JΨ~LW Y9'etJK"okf宸Qv&rЩv …1G&F8K_R#j& 6W9W EP1kl8 ;QJz/taVyL{J|:X@#T/,c3zV?MH-==kY=%afr`>$[8u(N[S4F[\ Vִ 2@AB_1qZΡw0hի8'$kwwkF=ZR)`2Ң:m)Eb!6_3oY`y5RՖE]hn|zS`jv-94ME?l}46UU9IwKT?GԊgc:֘t\O9CN=`m42U=UGkuFhHN$(:`L6GBODѴ^Z?xHǷERtѻ2-:t[Ij*6ttRi$͎PfCUdae$ke0Ma4N6P\J-x1>WzHĻ)k9_Q~-cdㄵx^ Fi A 4w1BÀ5َx:&LF ^Z* Co xmԬf䞴6ɓ5Hx4%|JO{ ^4=W([BeUM>2 ӅSS%pP mTUNFw,bM̔rp[ȏu6E ۋd$JI/ t0D1:)'1p'W"f݂p`I!kIB*uA9or{$ ݙisb{7ʵL 7/RD5+q@K;sZU{s .z(H(s=JRx C[L"_+!N|W.d Y@Y `U+&g[+;g12NwPZTUqo1HȼM5Φ 7Tҳ=d\hQK6~'] 6Mm܈Sszx)ǪdlC| <6OVY;HzmIlK[s&bQKR*޸1} E>a}X%w yc{4)*C o7=# FF0!?u o",x}龸=O{&Lp@KvT|nrL<_LE"2quDt Gt#Tsz@^x00k8]15R6BH 4Zwͪ{ CǕ)UU<[9T/ o}%NL~/(zRDsѮ[*2[DP4X}7'o| d=+ٱKmoڞxy˂㢝ocs.S=%_:BL܅v:\K8f}Q'*1{D[2jbWAON5gr A4)ɼdK `iB*`m]iNb&%VCÜ"{F{"AV2J䱽 lRq8J((bAK ѾiD=?DzWx>()6) `L)ܷ6}; J*F@ MCNÄ9`]IL_"׭Q~D *+{Z`D.qc1x gS Tb&5XIQ=uNA"<蘧52EhHߤu:S"_K528ĝ P[2vZZxۋ:-qrHB˽FE)ƽTas]kn= _|s>Ohi \ĉ0!=dŔX?*r!$Y2+koR 5۰3%פ` {#9^nŕl ӒWx8H$OIG $yqxb#IZ3/ S m2ܕ tjuiYc#`;{]yh0֛M+o .=yʀb ыQ`nYZRU-͠Q:?Ms3tǸDzX'yLd(KB3c׉zoÓD~ŻoguQy"K$_;aj܁À-7{98N]Ŕ Hupo < 8|/zѡ7VV`jknǚ߀L]ɴ>͡%> OJrGe 0lGȮl 5TKup *Ɖ\*cFh{{6yސ.x ۘw™q:Zi;FLk^[ݫH6,ZSںe$[MX.'sF")st[-=J+B3|=+cNkJD-~wd G\0BLz3Ql_^y  Z0ՆYj3٘F<{6 /t&2\?* ?5_*w uņAē.%2 O)<OJKT@ƃIowj!fX tO+%>Ah2XNmbP2=e.,al>Au2ҞOTE7 ?G3"peʣ[zvFdEׅJeUfdk}BghK!~]NҺϦ}o3Dgٛ?V-ۃ#>۰m'\1]bވM2_H%Q11b=7WTZӓaI5/5SMeB3Lb}{yKWOVԒ*ScB+Fq? j1%]۶MV:A@ltVjۤSXREzQՊ<,`UvEx}` 4BJ3#v2'WU!Q&ƻC,ΏVZ+InB֙K-~L;>z"u1[ڻZzJ*?#64c -kv`Q ¹G3ꕳu 'ʔһ7:DFTb4s &K}ҴhnDw=_àwnMy0E =fu ;< &jХy5n?L4c9GOBb,m#Nj0{@ny& Rt(y आol#A9n)xojHI9(j {V^8TDXW!@* ئ}RcT1 Ok;ʟX3.uwP=Z/>}U v߼E'l%:vW|z)D/LJ9NьYNTY)nQ]~'MiZb]˃ʛƏrM k=ɻCh.2e\ybH7,tՈsH@z~7lNV?O$$i,8̵ܻ[;iz!~3$ OV+C?y2+o%<7Yi+yndw~X9'㕖6Vky;%7H U `˽0{gHu gIs Mg PC% |?jQD!@^vL0/sZD2}-?y0N* H8_aNte2G!B2b潱v+U*8[hRYIq~eI5d,eNI/@0uES5.S5RS$o ب'[-~_L䂎؈& oo:m+e$GۨPpŎW:[:=_ 0R54H3ֺ" V{c *>$sOi8b86+ɀz.N a+m 0d`RxD&,VZUX3r˙#潄&e<} iȘ9Hqrki͡G,[-&ڸ!x)8%c#LO(&f3ɹ'waiA)ˁcU3 [7\uj h_}\޾6NХI墈H]6jgg6=K[ 5bn.*YbUotxS҂׆$r=-| DTeQ$iy/)}7&L2c!Ǟ=1|H=QLm !>_$u=re"2fK^ Su.(+cgT!'r4C8i;De## a"[p۟!4_2tu^-F)5h+N$Z&Ыp;sjh.ӊ6zhz*;xR S˫ˍP:yF WjQ@q?=FƫNT]1M(֗QɠEPбopsfLPCtE2Ɣ ] (6L"RC9򀡭k{䠐ʍ[UBBL> FIJ{K7p.,tNޯcVa֧n/2Y;5f w+i P)"==I3I>)~"6av-)N:ZD%qxutC1P(f>ehO2 V4MX>ڌ)~`Tl5nbi"ѷur#;`QxjX4p+si;Ug(/G}Mlh_7l?iR̶ΩMz9! *2h<)62 ș2oǾ;=)x?9iR1[=!@KW$c sYӑai:A5˜V]LhY DL#-Wp!>তt1:[)j5E&ω6+8p@q[[r`F|i4"NG"~~uIf!1椺͗!=11h^+ dFwO'E).%8;"棦Z쐹Qbr>N\,cvi,>ju-ۋ=:ZzĔ΍c=@o5ߍgq/#&@ҵTpBϟxLπ ;o$9i%v5p 9OE9Dɴ7Io,APb>VPPI)~!#l#CMtI#}2 gѕNd+q]mB~ g/UGDJ1Gzr*U czXF e#ayLbFз˯vΑհ22aZ]8ߊuP1"bwEgvz/IojKgu(Ƞ:_0>uDf)P6aX&#ryӢgkm3l$f?@Q&{ԓW* M8Wzi%C(H(" [\ҠפV\BaO߭<@ʹF ?ڸG},3Ck}Y62s>I_ DI CjG0x9xk<=E gcdat-;Ǻ+驾M,=2]lMHF:y',9&^؁Zpg2ds' ,W\ C^i-Q@ HeB"q?q,9舠x<|_+|R1 %Jx('&hykO'`aP.nn;͛u1c,@Asonدq`0U"Atm!!VӍmx,=)_xQ6@ ǹlhP޾EU5 Pf1d~`sXUGq6|W)O eK|MpO^9Sa4JtJ0|VH%j-tZjQ8x\ .ki~`Li E3إnN±J9۹ m`f%$ H15irKMb}E [K 56QKWc2eW/ 4y)mlGqOKoIOy_0NK<԰ \\|sNӶ \& Du\<}4k/;-1X20(U81|3si(vFL~<=Nd.FDZfՏ1d28#%Y=i2~}u"ޠ0p@0N߂ J rFn(t7aGsVN\ p 9U@{PuhV.a9[+-ENS<`i>N%YL8eQHG%)Z.D6XjzkpA -sH~Y2X xNt)O^jDCNbQif$,HFqGXCE$u,h .3_ݎ2eoyR-#k9}S+dήQGkaLJ l庽Gg0wjwA"zP8AuIdP}qebx95z r5n)(pP`,SC`"X0gW*ZӒh4Zwjl2rVC n`!ja=>x{'^0kW ߤ5։pKςp$<y8 Z]C;R%SD½ĂU3:U`jࡻvcKv GNeΪo1*yDZu];Ja[KĞbko] `5H{^Dm{Jp0IЖ+Ug6a~[\?zΔ| sYPeyC3