texlive-bussproofs-8:svn27488.1.1-24.oe1 >  A `W^^fN,n]Uz?H:DQ(s++6u1յOO7%^nP)ft̀5uMTa]O@"95꜍uvW^,E Lw?bUK G\@T"5QlpPVoкtJzfxԝ{CnZݺ5 =%* ~h4ԽST"( %*{x\!g;4)=\į|Qitfa EzxGϲ s`yVV 5&Q~ڸIP>p= P? @d", 0 a,0DHr      ,H(89:FGHIXY \@]P^b#c #d e f l t u v z     <Ctexlive-bussproofssvn27488.1.124.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.`ecs-obsworker-0003;openEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤`Q3`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2018-24.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0003 1621920393201820188:svn27488.1.1-24.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:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII text3bX,utf-8249747d959c1c181fe16f1f951fd91e08fc5ee8de108508faaff223f1bbfe72e?07zXZ !#,O9] b2u jӫ`(y,wQ}BjA*y131 '|Mu=; 6S6j>c٦Ĵ  ^M?ԁ )N<° $I>%݇{Zϩ@.mj=i O0*t:W%fmU}3l|i]+z&tn"mG^;CH/l?0!4-P\<x0}3E+_|ezidYLє.dJP RvJjSR@`_eh lANfk,5C2ӤG# pZ :K)4ܩP+J" :6y:b_29K.w`*';苨GW+t OSWKʊDi+eoR6MCmA*_RL:.+(TtFfτ3( Zp u4ߗ֕bae 4CDuo)׬ vC^35D43W&^ UR43bˉ`q?~4]QR)d75(DUowQI=Ka荕)/D'*y+7ZsAY\#o&ӲR!AR$zM!t^zdF~7FNv\M_pGȒҶ1' 0+[ˢ 8u:|``0RʸL Z{(Ey۔-!f:%= N8.4N TgrK#̡ay[h_bN=0Jy4 yMsf5ög@;/ku%DY8c Ib~0ݾcX/?>;gS`{6(GU-Xubļd5M'衺>B!a* ~xޮEHyq *;y(/,A@iwE9`74 LҨJo)O^whgrt)(:NZ?2C nJ[2`+Sثe>GUIeI=;z2M^SR]^%_iv{#@d56ڇ.XNSCP~J/ƿR4?ا gv7=~4ҟT`fᠩ QjVj2l DBqOoC*̔c٫j~#j0>/s]x-Rg'pP'@l`W'W#T,g؈sÎo!$,F9ʆIԩ(DJ'Sqi%|:`uۂL4-#ϧk"WW'u]&8ͦmGז5XӋT]hHf _Xo+(=ߚ$,@Mld̾!I.Wl%m=yooϑ>pl41օgO3i9;K Omr.8g?%icKR-^p?İXބn+{EIuR(cv(}]`c˭'7.p2MhpPց!j+*чH jDV|JgKY/H˸UiYK sE,sV 󬻲r2b_]/ x,aP1-O3\|lJ5Z\J%8du{X=#\q,{F\! WI뎴HRs gؔ@Hjt A@D%RGJRJፅ RITsM:όZr'5e@3tP؀"*-PlK-Mmڴ u1 %ʔLR`S.0l7Z/ ^ӀQS9b.Zڮfikk/q6LB*2[T$ȱDpNsp]v[ӌFi|z ?|l)8nl:WЭJl..-FȾa3fu6N:ZoBMQ TU;|ο%]gڷ;1ҠMc@WY ^0Fz˯`=&a==MʒJѱ{oα9]J1z:>੝5%Jǝ-skr|in(Hwc+{)")Вr~Zv$3vY?MX?.Mݜ6 ("S=)L\_Oz_KݜCyHP2n:$8jsQ.]bM4!;+},ɒa[tzw;.pLyF5rg@_%luQh3-Gw*I/a@OdS,AW& {#E^َ+F30AO2^KKΩgB?@P}fkjԉd)Omp2-D 1x0%&%ZpwGJQ,=Y;dT+ػS H^=#\_sqT{;sE$%HAДI@.jsPb C~12HqDqQX^%v'il."~aH/7:} '"d':S/PٝY_2qߜu`Z)[cO@w z9&rJ\qƿq||̾B&'}iT%Y.z1?3؎>ak֌dMo&\ACss;?uW9R}dV Vвaֵiܕ)&6 5JȧB.ݜoNoI=Fe2HI5pݾE)3^# ( 4K ny7PsAm͖$G ĉwrLD?+'谨'42ϜX_L R@p@ĆJ?NZ1rQzP.j;Q1 ag1qYRx#I7´n΋B=Z>Ԏ+**a dP%љĮ1::`,Ta H܌%H8XrX7`nADxX1bO0zl/{d@4h`L ̤B2Llŭȿ._xAh GE$B'}6KGēX;#½]ԕrn9= a-]Q]Ɋysɱ:EUOcHFű ~?c٠;*.?xt2- / fU-éYH W" ={_ze{fԄE/!l0aC@Ij;Z7*@\_< *O鿫saD-mGrN{A&kS_w@Ӊ8_FȆe.>>}>qCU7MUvW!`ʞaed/,}8'OӯTJ cf,ʮ?&Q/J^+Yuǿ [`:T/5곬׼"ɴ8 1&kBߩ$)~K}q盵ъ SW4F7@|v˶ Aq1 "r3ʥGB,u*ڜjC`{!e'7\,dG+r4 y,RH;]$pQvT59>|6r\ܘ"*YAZXgdR׋n6agnVҳӿYs jUCdtpZ5cjkxR( i<*% SFq_m=9O)Itg@OE@sxN [8+A tb$ C|4a.΢%.'k*N3\A*׵JH}RsO|ŋoܻb8Nh{6~H5G֮sQNa kж!P#Tt)Ѿh܁M= (i\:; 0ňſ><`u`٭D+}teP.B "]@ÕȭE٨AH)vOp1ys&=BiT'6Dٜ%.GRMt&q94-spT=t?Q/" ]cG@5"]4aVP,"v:蛤&/G"˸G.:HIcg|٪ED!йw~qF)ɡ-pt/P)0?R*<2&b)CȒ23GR ^JYfWA*rk3pV>z᳟2X`AfhT&;xL\_@V5u蒈RUmKB!G0G׮Q(R]q[GJ@a_/$x:W6tmLă|Ok&DNåR2PLG8&xd f9]& _3v&@2O#L=e4P.F '~#6rOE}'9!;T{Ժ-±LqCڧk24ZFApǫsSPJmPl"E&Bp/+8\CQK@$%ϑԕa- 00ԃ#w9y2.WcV, V94-8 F0yŻJXܵPԧ) S=MAe "O8yT:#%ÐB[׶ {!(L(M(s@~ci_Yu;vjP0jE9^v"*+ک \bEXYo@J;>lEDg~;zLÁeht$ ĭYYZb3Nmv4 ^UQ/ʛڴ޻S?kH$Spd)MALMjAKmE- x]W`g4hgδѾh[r3KPW!'py3l@R>Ѝ$ևofJLN S.ZhaRG%OD^'!Z79[ѩȺc>W c ^e[xO] jA,NT D˓,RM  QGRMNJԤ̩bꕫh*.wb7ڌ0OFYjeݻZ\@QB+x∷_l Yg!`r8’Bo/,lFtW>@C~z)W2oK1~ e(u]U_܂=ZqbR4T:Ỹ| 'T_s[p1=&;宑^'JRk$6hLf[02*G߃/8ѣd N\MqDEiܡc6c._\1Vkҙ B}]I-`JPPw!3Yr-u洆} 8Өx! |z. KhٲB2r _4;h9}be+w!$_z67Yd4gmNayMI Ff 痯 wsey\cm_*!Y caN_Tzbf |64Ů}l(ſGi8:ίk4~lYH+Ppa{nB%6L-m}X>Gr|FV/$tD|KtRaj7ym B 24D!%9y5pRr9jMCTVz= $xhO8ª"]I'kH*͙Seԯ$'4mو>@]ˣy7Sٲ``疃-wᇦ+ٚͶg󣘎b2`~.Pb%Nf^Q潺eF}1t@ mP\sf/RjA^f""CЯu m)jb&]G3=값#Q8Dr&6^s_jRGujO74YS\|OXf>BX=4wW  C"ͫFɁ YAQ'rEnxNЦvΚ eT&x@U Iq4j%J gF Њ^02"+6qt)RFFV`ɓ 'eJ]:9n՞ UJR1N36#4G9Sb V0Ѿޘf9t5mFE|=aOAj^|abnG!oR7R6S!a^$"L8J 85w/S#b6I{M#\L9"6PK3$ZlhQTB@فA)gp8fJK fJǿg{mفLm!I hϐ3h/q?Mk1V{K/sk륿rlH<ٴJ:xd{*.~zQ#2\ QX>vk3b8K H+?/H">FŲg̤,l7eeu4͕N!r@R.~0 lVs&]7GE4#u>RU {dAe^B 9 s@OyKvBt{%:4jblok&aYUCo4SR9xg8ݠHNM7TЭP]L3}SgTo'_ٕXuGUūg{5.Lҏa|uشPd|=nhbg)!K\AJSm$-%ez ZEه?;OWRPB|fξܪkiS rOZY4б_MR6~L=g dnB9q9*0\)[3:VdgxmFdX6_vK-lm. o0=BFAԥ}c gT&S$r`< ^@b0D]q+9Ad?D "qߡy T42QÜ#_-R/J 텨 AڐE-^kUF~~x֩ FCUlj" j B9i9='am \0DLflo\iQd{- = և&4l XwqIGj'e:!L U{fHWHVqԥ f_N^:CM4uNbŒ1/tNS zϪ8|ԑ~L wUP.? DaYnBgM:;c:^lkEI_VX9wSB/\,VYdɚ5w79MjAxJHn[W WQfC0*Rh3~T6&M˦e=}w mL_Gw&޼5SXm\N#4K(@!blW* VW"EԗMP705'j! ]fB(='%8B8p;~;4touw1 %4rx J2J(ofPW겸qă ? 13IseQ(ZJzJWN8>iz)6|dsܧRb]ѡ*%zjotYn("K/Mˡ BB9Vf( XK؜̞ȤHy-1$@j8X+F(Ll:;.G"5Χ{KUUAC39ygKbUtzA&St[P=Km<3"~6s~~%9%izK0ed5ezC. Ap]o򶹣sN+NftQ7߽"543:&|ѫeZ"Wbp׉u@ + v@&JO+a,L`ǚZ0>X J/[ B9Rv)[^ݿu %zekd^|{a҈5?4˜-é] B̢P冊o /J Wm-c].fT_f?y/ѲWnU{qTv"تp^z"ڤuY}32ifNB1[pÏ~Pv%>&֝i8?% 4//jp[{"+H-oY*y9 :e ].u(GlJԘq{O?<0+D$+a\pLhe ڑhSpgx2ƹKFӎY0%~˧R7:^?THŇT_UGHX%J)[ʲM.@nbS/i/oys:asl ˷x`c.bNҬ0/4c@d^OpޟH CƧ2֙N:s4xT >5m`\؂گ:%?1>pص%JWXO"_OZaA5*@aU VV=mLc ╠sƒD,=lvf,Y+,ݱN!^Xc42gGjׅ)׆~RI=7s'd)A4MnȄKrTy^eW[/qBϕqաuP)bM=u`~xg )!+HkW?c*9Ϯb\S?n0\NƔyv19'E&*{nMݔ}@YLljƭp3s"UfjMn-XX'9׳PlI;H"lQh"=+$2634wO@[y|A7b]3||vEb NWǃ5*f!}v=iid1ۊn z#e" 65 ʼnL/+oǎ!w"^_8E&w9ۆ\^iy W)?|+ppqg$`@񈏽`Y2}%W͕_QUm Ynn`2b55" a`懻s0|-x ?چ]Ӛxq>CKϐq( )neH}ܕ5zDTj{׮aK9<GHTLP ˭RCK)a<](@+%(X>cW^DhFA?7up5|"RMbW VmOi-GU%w-Pi*IDY10"\5TyҫeZ1 +m&sV!ǎ=?SMr ,K4( Ġ^n)M ^nK W08_1eT͂ !W.grK0R&wZhפbS+~'w{㖀Ս>-{5(1AnݭGi2T0W_1ܨp\`+ںŁ4}^l+(lEeKBr#:6|1[cSh~3U%s!phB :5T<VבK8 8ЧnXsZxdl1g~RZWtڑzK