texlive-bussproofs-8:svn27488.1.1-24.oe2203 >  A bEdK$f#"4w\k$t<:>kԮ6/:F^ } yֱ\#3bsG3 ;8TT" ql#0=Rsj5`9*%KjgHIq[W%;jPў(@(?sEzaw ZH8Aߎ7_e"xV r$mcݝʇb?e:=~!"bh7 ފsU(sҋrf 03ae9573ba170e915ef2502c1c0268aa27cbe66ee54774ad7d71581be25cd7ff141821863e37fbd41921d479cfd1c1ebb1c540a2H=bEdK$fT,%w^B"l>ؖC;@Fa.ӒXѢG{/3uf25+ zhY&pG.;p(`xQ,I<= 2 p-GW?㺍nԸe1=Y65ǡC/"?8Ny홠]̚&ڙӰ\"z( Z[cCE6z3i&T&dRGl ʤv G{CqU* Bs%ٓ 5g0,}[C|P>p> ? d", 0 a,0DHi~      0L(89:FaGHIXY\]^bcd e f l t (u 8v Hz ] p t z  Ctexlive-bussproofssvn27488.1.124.oe2203Proof 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.b<oerv-obs-worker-05;openEuler:22.03 / openEuler_2203http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤b?bQ3b<6X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-split-d-2018-24.oe2203.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 initoerv-obs-worker-05 1654537233201820188:svn27488.1.1-24.oe2203texlive-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:22.03/openEuler_2203/b238d357b0330dfb5066f540bc79fde0-texlive-split-dcpioxz2noarch-openEuler-linux-gnudirectoryASCII text7w.ywc5utf-880fcd2c6a1ed5e41a5dd981cdc31b151e356bb02b0e25e9582d81a83dff78de1ecff9d883d104e7647bd8907b71d86f072760a612fbeff9b735427b9bbed8a7a? 7zXZ !#,O9] b2u jӫ`(y-6hKь%e\>LTxN*\ g(ldAto,b˄f.ؿ|˛^+)x?["փK*1FWfW:>Nc5'aE1G); 7cKFezTA`unz(|K2.u6rv,|Av4'뿫#qbE5N}7 "w>0O*v4ΓwPP?P3r[K4V7,mQ$fyvd?Vrm sM}˞ NW_nPR?N6K6=ԡ e!|msƒ( ̀'*GCVU`O|  S !-Dԗҿh50 uEa%cVDnUƀcI)J3 ؇ːOuj&0Ӽy3PD4pF֩<N6c$8-fm89 `[K{)%%̇!J㏣3[p(b֖ywT5tKCH֤0( ۾Cw#x]Ie# |1މ յMLEKP '*&b'4B>Vp[|ՐgmH-Eҹc*/+aNر3ё6TuF{wBN atf EzN@tFqz\*ᦪ)Y2;_Qps2W5?2@HG@:?;)n=" k⣬13 Jw8l5Pe~!Ir)oeUF9(t ujG5U:3d0NgJ1Ζ95! "uSgֵT-ޞ4?NL&Mv8{{9|vT`Ad2?% T7;8F; $=͑ut,Ŕ$bE'/N'ȁu Db[[dfaO ϔS&[ n9m6Ylʶ4ѱM^b ~c}ĺd+ʦN1rE]~v>He6ۋ2D3^=7Wuv6Ev3$[>Tin ) /vS4_iXD.+G ..xv$%="v= faDH!r.U:z[I'〩zu5!4juq30a4#=[aKvL,FX+b w>{&ɖuffiD?RƽL5齋% .` ]U(F.Aulz׎sJ |Qʹ{Qn-Rk@ xȥ-:DHˇCnI{/x8% I-E|6IADZ؝w-ݮ7wn,+lO 4[ӯ)8(НzD~:0_m\zm}1S{+LGZ$9&:(h9/ ԟJC D phEV̂"CZ+xHY3i Ebkɢ,fL͍B"}i׃7pog43-yaFP6ǫ(ń&?#9FTy`a`5/IhU!fHZWZX.3'[ʛ9uՑ1j[190gNPOIZ'ke]ѽdž88'ۉ 0.lH{#ͥj"X;cbWN׭oD>,t !o O^ȹA>ZEO.ඪ` ٛ~~BL̵KANRכtq(UIDcieܔ"A*H?xQP7YTHi` f7I({=H EZ)`PF);f[<_@DG<4 '`Gm_.wA&ٝ # AjFhJ9#ӹၸѱxB 5ʁ5$,k=@YRsJ$ !qǐ̷Psƚa:o /do#djN ( Ehӄwܓ-@}ꆬrN*1XC `ǖ&V%)ZnOm] ?pSy d5,}Nj<89SsHzWѰKCۘDe)1$#,6v5i4fpA+}()#tdehO&}Wa `"ֵ.0!y-n7iKg]i]{ܿD6(/Pi8u R =ZVOM hGz?Xs889M;L63^v<9:/4]ys$mwᄏBga"`O8fFm; +V?.B`*i0z>_G"c3yw؇>F[fǸ`#nQuI'ٙъ}HIpQ33,y񱤷 kn4)ۉ}5kT*r;s1%:[bC3!AGpl~ gZ?kv7Q0ts0]1K1;K2)R'PeP1oMZg)厶Zwݧ)OXN;(6L^!B}L?;<-IyO L)z,idz%rDk}J!nC'jqFJ& }k hYZ急;Ay'pfjUn)}v{ Y%p '}P[>'6x/"-X2tq{( .\/={;gӊ6JmF*RS]LIN˴10Z1F_YbGp PЧEzߩ'3fXI_vf+U0w^Ia)l}@O*"3V MߖOzu6jP埏!e{̽2W׷GP.`^`S1tS%o%F蹲⬇Á4V,gE&+ku9Ebhϗ9U%q@Ln_;%lr= }O`kwiفߑ .&gpg_:e.HV8-[A[mcJ}yCzJ,RFɄjyHe=Bgu=U}T[7%e@E)"xG{AU{/[*H@XZО5aG!Rh,׶>صU0-i|I-J֕iDϫzD`Y6 b [M$47t"_=<ݐ'9A$p3ꍏ=bS\X$jK&_ 3۶SXd q@~[RY*#N!T'Y[c/c&61LP6pIT)L, 5?v ;މTݡIFOJ8yS joMQ5~o&PΜǤ61W(*< =$TVyOBoEeءL±ŝ~WSψ!]{|]#e.WEV`XǢNeD~6{ϜC1 M;3:Zmӥds!8wDZqv W hﱻrbYE1h'^%XxKЦ;WO ^+ 0RͲ2%| ",/=k Ҧ%B;mށS- .Mj:ʢs?q)V 0_lu׋A ,! ="ڇ@Ku4 آ>˜-2]1`YnD>n7V^~;>#ܐhX+ ᩄЬpC 86V?cW0?)Pth⪾ Ɣ_DžBg~Q5Hs(k2 xgފvЉ=zH3Z82 -UIC6Wk*-1gU9q:h%7PEk}(t8yv_gP) rsd>2DCC끿3?6xt vcwӥzS-h2 -7ˊѢd>(&@$JV/;{BAQWWgs[b1&\Xگaΐ.P2s-ɯVh*V0 e[jHɤ%)E_#Rs]t"xjr2ܮ9`WW+5?ue:(ZH[#- j1'ʲW?_j|kс&pNjrX#`LlU 9ִsx-]dbPEQð?,Noߡ|P5gqB*Vtg۔d-_UH.WҞ~7VlQbkHtvEDLk^BpZֻz%L\Pjڳ)#{1zK[q( 6.7n\Qj$/n8 iF/>4FQĿY-#FWއz;jk n2* pmqp|m^R p[ 'g%[KW`m92'I4GRa00|o t)q~mt[9$WLٕF_./'9}z3P8uy@htcQV~$%lý|^yh*I7߄fHZ (ĕ|pՏ͊ ^~Yy['aμ.ҝ'Q֮QPkhuݵtsV-mN/GGv|#%@4^L(~y\xJ: سƫWqէӜ*5guRN#|ڠM3O9q0 ᶡYUǍQHB`S}ر,Lc}.sIYCIT VF/ONB~;mrsa?R]Nz[<}B} mh5@c3$_.Nn fj/n? N݋1T"]?hq}Zyʣ=*T6hR뵧/|\"y^.,3 I#X52x㔖k![=E(Te0NU&bLzͤ:h0 y?aC|J %͕ɪ37#}薭Z+xæ:eI^Z Lht;8hF% XZ':gmGW3$Od^CLMK7 ̐q r"+L> iЏɩ*VoET40ذb<}zH G#WfU9+']'Zp9Ż<%zF6jix)٭To8Se)M Ob'H1q$|ɚW{. /#-9/ 05Zqk\ ,ַ'9D/gc0BW͒0ni8ʱ eңItݓQ{6v>A[ڷm]đ uQNȠ\V_ ?TF]||?\-}P 2hĪVI^ jX7Sj\A?DxaWOQ,%zC ˇ^0beR6/q=U]dn|p(ܕU!ǁb++ Rr:R!/ Tg+v̚L/᱓>v˅AJɶճ'_bqiح{/kd`"qmx윲D^a\A?ņZҐaV2HN 1`~xoDUfXy_byn#7T^TbV[_ޏ/?~Y D:8  Q,IkFI3ι]FS O܂o|u"8mY슩;j`Q>C-oک_%Qt@C~ ;:zZϣ%RV|| KqPX^*) X< mΥZӞm3q} ̔[)fx' HU3a` FS9p'-lrVe=O0O_ 61Z017^K.YŅ`n`mI qԳOuM$ &1bjIh_r|wH]퍲%+5.c ^%-<7U@MlkŁsL6ivNN#5NDcN]3Aѥuw:=prPɲ`5yFhUP!DLmem4˽G\e4().ExDtuaX[Q^7$&l|rG.nA4`e#q#;ʭJ֥AU);懶] LD '(jeemWDz!hŮT?/aD29Dh"xNUІJX/'ԝ$%TMWx%FMl1 qbf8R tAG؛Q~c.p,lU@^"Pŀa?}n~$@ $>-"\8,^\nϥSY?HT&׸4;VȟdJ܄YOH5F 9Bvqtm)2ss0wO r>u2/ s5`\S\bNs e攔h]"Ir" jcl2bzo4Κ3׀|ҟt=Lq0uwo(s'sw괄\i/ǝޡT}j akv-㠷g@jK^~&c+zI!Sdih,l\:JC<=m,!%PjA݃Y怮,]df̅/mԺ?>Zl:4XmjA]b Y)(XqU*z~&ݠ73BfOTe-12{*oC8irG]xjL鏖xjɏ {_P"z==nW+29u3E:Y ̶+iEBZ8St YuG$r 5H8<U]i#gM>$J0C)cQKhP{-3B;f+j@5):s+6<'%+l9'E, K64{0ef}M죐6Ν V`tJCްa[o3}?&`RFj?1&GQzBkYX1zMRv |[[!꾳Qmq~IdVX󒡔{x`ov4}eh \ĪSvEQ7߂|J[3F6W4T I #9p QX6>U+yeԨasz%DKd"H+ 3u`f̌SEP$`bV7.-m0{ݵ (;M" vr@] :@g8/Ja Xpًr@@Ӆ| ݿ`?v) RmBOZKبNi 1Kf܇h|'s{WfIq;ZqΘiv5Is4[7uwQA롸w`":1ɣ⾫<*_R1P*^y)`k>tS3mx>\ .)JOh]4'YڷPi!g/gdxۀ?~ Ӧ˗Egǽۢc@Zxw(thAƗ<(y9%ӌʐZГʗobq)N/:yM*O}\?~CӔwA|qY'yDʠpP"{9{[b:3$n\ON_7W~_g.y'wsK93uA*J"iڥ=yޯ!gE  y|kRIdwi.fڞQdO'i#T]Aȏ~om=Vhܬ݊oq\/ ?{k]‹\񡺆oqAd*w1@?`$l0E1'EK/&+IbLZ="1J86sUE*.r_z[`4&Ul^]#X"xo_߸nuAG+" 5܋\I[[bmt͵І@LLV=~Fw| 7P{!yRߟ倍Y`cޥYn9mۀv4N yqǔ8\8P1 2F jTPҊYyDK6}5ulo"QtB0S:a|zoL܍hƔRrC'фt+Sv5Q^oVZ$%u̢{`!C3bc9,8?1nFt~_#Cef#O|d댞QQ.L %F_[眸+iKAxT \Mƹ+0.)(ʏ@)J7H$j !:*Jk e12q(c WF ֬KϒaFccU Wj[Yppe&QvUW 6D%P0`dKzRx9u[BMTS]鬚 |d;Gϡt#.N~k=d@8jXDG&I:yae6O*͙ a2¯!Soܜo:2^jW;cR^IyNG>L(Q@ٮz{Ԅ!7;Wtۢ>m8ne8с}}s!m[ lתw&Lhnϙt %#%gY'elTID0UBѼ'r [jo ʵ 5N֍lz+-8p† ns\(S٥me,`=WD{qh mͰMaB~\gxZ( SF߾tY")<6jm\u3,gs4ޔ:qDzzөƵk;5Şq@\EɎp ;OMz4IDSG\B/=2\ϝSvp54HL󒂑I"#ȁPCKc?Ϸk)s9IҠYEa)?E᦯7-|O_! 9&/ 2Qi1+ ѣyz 1} R4A-I堕gtJȎ'YL)7w[;ڮp1붳d\2܏N, 2_wvѯܧ&ICȧ*FR'lu|E.Â'%eː}\ *fgmF,Y |U0-u^Mg b(H[ӔeاǹFV+hQhftx4WCI7]N1ȷ pɺbAMp9V1vU=Wv!f7ܷxù(Uq&]{eoRjã|{y!Obm]~ + `&LM)oҘ4 s;vi'"ϛRoJ)GYbFC#G|l¬եp([Jk2M[p90˟ы)ch!OQ UustV/tLISomqffQ-hY5`K*4{0l@r|2X ^4Q'aQ)|m(-\9@[,Pi7l0EbnAPN3\*>FoCwn;n߽yo ?pvCs_\ّ^ ѻ O;L Rud.'$[$`נxy.2<\ԥ'{݂,)U<ŷr²a"&H /CVrtg!k-شvLMOxH8r>gd`>+s"I )OEfeN7yS[](g邴 wiN~f5t"Xms'3\ԑ+,%}\1ʬZБf/Qۣ^N="~YFhdv6^8ʃeB3ZEɴAz\h4~MVOpy\,~>;?w@'RcRԢ'4++ d "dm{VR`x ד9xI# JJԼ_58)Y0+ a(Sp dlHu8 ]#w<`rIॎg)xo=NvGrv a/sT'zt& YZ