texlive-bussproofs-8:svn27488.1.1-24.oe1 >  A `*W^^fqK3ELaXm-oj欟5xkx1D A& 9KbjwgCWs CiumQE51\Goaoył}--fjix%Q߻Ʒ O>.E~sPhvz/DeXOo;U4pX^$`.uCC{  sR:ٵg_CpТ֛S^hٚڲӚ1or2沱,h^ALXvg@~m.tbPPH1!j⟊rL,& YνׂA;SnhWDsiH`f C񉝡YtXEyInE"ltLNy1wZ]& Hp-G7EG`?<g.^z%BOZDDFfx : 8eՎ=c)4RZ6jP>p= 4? $d", 0 a,0@Do      (D(89 :FGHIX Y\8]H^bc d fe kf nl pt 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.`obs-worker-0010;openEuler:20.03:LTS:SP2 / standard_aarch64http://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 initobs-worker-0010 1621924531201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textO"DM3$Ji utf-82147731a3cdecdeaa49e401998811ebeda505299a6afcf719b98b1d1673ad944?07zXZ !#,O9] b2u jӫ`(y,w?FKy\!(6SeO6;뉔o9pL--wlI<.W)״-7*h&aSɖEh[FEx Aܯ z"$~ ~^'!HY.h5(Gcߠ8 Ub<py")]S1]4Ȯn޿HUo(=g%4G>ǜͰj2Ը9={(K[>!{L\}~׳]lU,AFu`\RHᰮה47ɹL:pҥ^Yiڲ)%%q>Lv5;Jr_OTjuJqS6`&ӂmll7}?'}T1q*R z ԑjDB|! Ubxh!R(n`<ӡ&Y'G$iCn4tս"]{]™aEU5E8 ^2#C 93Bݠ] ѸVz)A*¨[Rb6cMb,3FY+|zI`%ME: L'A^# 6T?ӗ][2Bl'6'vR?9${x/oeR^_= 3 |6JD}1*su2;!ߡc ?r<杏2PG|g@FO;tva\K Z?9-3D R <kL_iT~w1%}Eju:Uo]i$?xb)/ ̋ۇs",C ,eX,)or@m yR#X{QebʉWN"Q>Lv}M~&珸됻ɧYM> /b;IkUO|mlMTv#7g1t"%qzmT*1V^Rv}~7a/ϖqMf(e'pF'B"`E󨞆roC4M Þ}mdZ{W/j`(fVDb+-ㄈ%F&7=DtdĥumVe/*OȜW?PϤ-ˑt׸24tyDh;Af,ZWdWngv^>7]bnnY&%Nǫi^+o&"|ua.Ϙ-@z$)){oiqJ==ﶀ6" R@ 6!3li:ĩ+gK,聀qWSy/w7 fa~1,- e}`m%Ӓ&y $HO;'v}&B;)rJOEWJ۫{Xיaдnl#17g#'CP)K6YTXAOg{o|% \53:/gIT!J{3א[L5Pԡ?2ZU)5_}xX#q,z郰vw~np"رpX03~[[q䀽V5T*4aj3qΪUOtK㜘li܅ (y%<esVU lhfnVR :nx4v0+A{i[`AYb WbEkD y`kar7g/F- }o=qG?W #]}lX`ӎ.fn"#F XhK-;`%WZA7٠#ƀ젔rMcu"~v"U0 6(|٬tf[+c+ ѐGu&4v> Co/Zתvǐ@ ZYByQNn렖*,^$~TB~_21,ǹ.xe30?ޢ ozFLo?`'x裃i#A~lRaN.bZ'VHk~ay%l3=^1rH&{x ܲ]ļu6=J1Hen Acjj\E<[9+!֎("j ۪!{kYtu;mʸH"Ye~b@Euͷ,֨Wָ ~3)"#YSC:KNZ9*yqvw^HG\Y EyR"Jy6rQcs|).SP{Tq1உe&Xs ЈNWS@b!5\| cKC 's'RM?mU;59yۏj~`!iH[ZՠV|RIo%S* 凙 A$)VktOulYcܧ57WB|{Jʔ.@ܷJܫy{e5"`ᣭ/OvMG*{~'wI ե7@7c7{y- dUp'HS{C NStcwòAfזIl:Nƚ ďmZA%K JNf?.ʄS{$#QY^a6V?u#B'"_{#q="+73Tk~v΂)JHEI?,pVrP&0a_BIl1S7ź4,֗Y? tt EHP>yu MuXt&L#%@I|u-dPh]L>G2 :f>xVO>c&0_N9 `ڭC<3L ,Êy]'S* SE _jo9"$n; [ fxH ݎe+AzH瘙\Q>d쒈, 70Z֖Ƈ+UQ+ò#g݇g yإQ?;[j\/# KO ]0e ܕz$5] =xUD>dZY)k=4_sF1=ٷ[SۊTCZA6Y;`&}lS/tTŜ Y*/B{:WBJ]fH^ 3E@7Q` Xύ ِP͂N̂4D:r fgqfޕY$J2(>ky[o nC7jJó*u/~ l}]K\%C14R 4%˼ J5 hxIԺPR(t֒6!; ]6ׄ?zR@R~[=Vo% `\kn%6P仝}԰*lXYz~Er]a⨑ sՀۏcqLdjU+NwD#Rl0(k/U+eb,8_䩰I2loa۹GOhލ8[%>tV&1@R )luEkֈ!Tnj/ߣ. yB8bP.O GfѼ a*#oXRxn k&;K@ ©֣oh)r3M8ȧ)bCpq%S`f!t ;.k,#4j(πRyoc ϕiX[%6ۖB" RSc%e6LǦ/|f=0/+6uz },,̙ Ndix!q9ruƳj 1P2phĢ2NfV&!>w͜%1 6W}v$ȶ[L8p¹i b WwsL*%n6Jljaeﶩ]y#z& ƪq0 Mi©D05QPĽXN4Z@9N肽wX`M2eI-܏ \ [1G/T-}-*y&^Zcp!˓93Z`h1- H=a![' ;?| bwr'C NdxѰkvࢮV[ oHW H>yS}ћ1ʁ1|׽tr8m]LvLdf͇.`aΕXmr7.niY^(/&R#<kݭ-/d!R9D [.mt@al茘#`ZNy f3Ӆ?i VYDyZcC= w-*S& ,ɱYh||hbH,rcW#m->8ZE d<;.WX6N݄ߩQua]8S/ήRj%̇͢xF>mDh]Y$v4LuT@Zv%.pcͪ/YzT:@~F7Ԡiw6^t>ŬpxOgr#w]qUϐiVdA 2oWuaqV*%l(] 3V\KM(@խܸ#yIg|ʲ]=բ7l %xzbrG.?,˹T,#V!"Wm|Y%9Sah7^& iqԐ۩.3K}oh!a[EH5QxZ x H-@J_,mj? ܫwal41&syt;;D-5&!,|)0"3][& (Brg5{2baNh2Ϯ=<><1LsG;(􀮇&%H |>uˈ'ƓgV"vL02.96w;ȩk|j"ۺ1o.#yH+2Ya SOcTh],nO+Ae,J(*!}-iNXWG^LNv⭱#2[ t{>"mk36>&Sj=@ Z y(,!a&'(u=_k|TM_Z!2lRy48LO,-s$w"Lb$ .t{![iRSL*1p含\'@p %F-nlE$aT~&B5 `"M;t , cS ]ąPj:)4ݿ`zD2(66hƂ;HFZ҂9.*CBz˷L+dQ2iZUԕ\x\}'s _B@o9^r+9iHqu'#?ދf/zBr&;on1i"i>PD'QΧ\p68lՈ]욖1p$[l#i}-?]c;R*o,Axn?H^:)oMLB(Nkpa5nE2{=:wB5 ~&iyz9Tztͷ"YET2%a{CsBYo3KŏhgVo@y;_][rLy&K ͪ ޝA [}KȨ֓`^qU)\5 _L)$Jm3? T.g?1U֪Gpʮ)-mS**>=9aeT#H(WVXޡL7P]U‘\sJP+S5fUKc/R@2; byp=)-Z ?{AByECCaRŲ @vv~c  īUn+ƻoi} ^ +)}i5yndCz?09ۜbL_4b )@8M@ɱ@mD?@2}?ԇWXUᜌ}޺ik)fXB'd[1.y[|)j4eNNX]Cey/_j9"`uTBӉuPߥ /HIw ěv M%V5{:iVqp,iNJFO{{;/+.4_a!&&.K181:y8闔 &kyâdϞ%Cy5/{wFةFHU0Z/d>ɢP z@DvLc?U^0x/ 3g ,!7N'<D^(mCw|<0;Z/6z8l#mJ"k8|pZj+7t 6OrfM̍%@~wjCwN y3g@I XRl3jRdͲhAALbu(BY6:%ӢIl*3PbF\&sD)EvPϊDyЮ)93y.U+ǥLcEXŚIO^~ ߺJQ#˧{Vax!t _X׋_NN|J΁[/B-L\ʈt=5ÿpVp?=>NUwt,yB\D͎t䪘fJzr$~a[W(zG+ޤy څXW.{/@Ѐӛޛ)1Z$عz:N*/ 4|^+l>CoPwk,!Fܳu+*޹%:xC z-"3#rMzaDvBOS@5^8BG;=<-Q rz\. "zUيm\BkbW;$FtaI^'nusX8I#)-q޾O@bu~ҍ qD#~wJȆ :@¨5m? vXQ%vA4דmh`rOЬ`Sd*l@ݮR*G짭뛕3{VGWd-ǐSNVɝ*>)ѵiʤUE?~ ޲bâyBHM}X*N/lPdm鬅26U@Cɚj_vڟY:`Odm0aCR.i-TynǨf1caXM D|t5@Lq*[Zd+_݀M{&ۥzIEi) c[Я!TC`Lym~٧?jO]c% MjՑ]WI:fo9yC*v'Q)AK՜cI=u1 i* oh3F(*/]ǜ 者="_T7,2}qX#E);MtI<-ᐽpd"ÝFa1u638c-'h 'mjcRzļ&5*anj᷷]DWACU#69n,DZhC2XSy PTPɛ#wR!N1g v߮X۾9I7'B= maU-TIZMRMr{R¼o(w>n P(0bPr[_QXrW)Qes M582*!$=@L93,w*lѓ(NR/>ZH65f l @Mׁ QQtRPaؤcc]9*eTeт|1HN}ltjU߫^^hَq<]S~¶mjBw8m˄>^X]hk0Nu23WeJw˧8!P:"da:qR )xb=,Y@醏[\O=t%v"̳I?*X }s/-(fg~xaV.6M_ήS2G<)ˮto;pқvdgg)V7\M')wNVV>Bqdm24<=HLh(4{A: OR*aJ4N*K8pUฤ2O 4eH^to5;%2C=c)c$L9]fup).aADyA7 ViBtGMJ!љ0qCiKOq\ޡc{+!MV K&KY[Zr ˾)2w){ʭU'XN é=irm&=g!ƬtS_biYaDy* f {$m_AZ#Ȧ Ih"T@jNo(P0OBr͉k#2 |rd< ۺe fC3z (r]AhbmB~D$5jU_47c&#@ilОOb8g,!X,10LIJ> \^/۩n؀=ӹj隇c!hNiHykLerw sEft>%pRÛy/XA˙c gUC$yw|,,2y [BDDu1zyIn?9t@T]$N?Pd/ڭ랓o:v.iTw-G*-8Ne`̠E6.,a]vMȎ6ªjoz9ioSWJj1 Yv:3/˟H/y<<˜>- :7cZדZuIYdSxT%1Zl sP Q*^-/DP(w1[T Ud%] kQС$Zv"2`$p%% ̽#2&H|ɊWF-ϟYB g'KX *#n 1ݥ1ˇIY2 row@dPϥausWL5џ#SW$g_Nס5 fӷn|WJV/|w` &q8v~!3,Qb> pbώh*T5Bm|e]eyls  p+C"⽎NBWhv $6=L+y4;f_.˗ޯ Ϗѩ^%Gz>rBZqELA}s(|`֙wMX!r )=- ם]/dL DZ}uoqI?sri=Q.ˊtwNn`]NSwB mx~^\6Z#k/QgrnR=7JY _-ƫ2ph Sqy,#;[퓂Rmʉw( /˂_qjO!?ƣ*[Z{ OrÚшO+sAQ5Wt 2M;wc Rrtp|