texlive-bussproofs-8:svn27488.1.1-24.oe2003sp4>  <@PT@7!.ܶujG7oedopeneuler@compass-ci.com G7o\ i]pڡ^ ioP|4gCPHb@A; tq R<;i;h[jaQN,[+>V ;qh q`*Ϊ9&W\aF[ê݀[9bHOA ; Kz|k`5X.rFD 2`lDsဆJ:\mz0-thseK4,D2q:eȵj 7AXƎuP 9 NT$KES"%2\s*(ҍh_m_`R3__+ST?t=Q#ξeD89b3b781bdc92b1291d28a87083d4e4975ad634e9205f9564b1894467d5b58f81ffdb294498482d349076728fe1a794c22d846efG.$6DBP>: ? d"0 4 e04HLU jv    P Tdx(89:FGHIXY\]$^]bdefl t u ,v <z Q d h n Ctexlive-bussproofssvn27488.1.124.oe2003sp4Proof 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.ed%dc-64g.compass-ci;LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤edQ3ed?X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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 initdc-64g.compass-ci 1701095205201820188:svn27488.1.1-24.oe2003sp4texlive-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 textH~'K,+utf-8292f49f9c70c86c652d3371f25f7b9333ff8fac88bc57f62e5893e1e6273155f?`7zXZ !#,O9] b2u jӫ`(y/۱Y|v:ԔkNJ{c,β;w J $f 3.u&JU }$, .V e!o}A{bMNFQhW|:m{v!p< KPVD8KdrBxnAt5ɿIhV+Bu`)L|C-p' S>a6b wX߉vY{:X.ϧ:جo2)gQ8\[ؓnNPbiq_^J"V<_{tV9ON`җ,s^#~F@z`(waYy$>mŐX{Gor;8b6O.d.EVDQ%8Vu% m$WER)h Mӣm#!hbH+,ootю W"r-󢨭Dx ꮽ#Y)HH<݈ξmZ2w+]?J+]VBq B b&PWkLN;tLuwWDy3|ujt,ShG!Szs[َ>S/p/5KZ}o7ٖ)8Ռe>ph%ҘG_Pnb߃x ++8LHDŔL@FiZ/V".]jqlesk*o+؄D5.?8|502t LYMN( 4Id cDU;fw*7`8(푬yOwv4^F;cEڔ<}1!X\@Krߥ- !l_jk>މ]sX.xii }e ق& [&Εl -y|[*yd|#_*h)zTc5Ơ&tR8!Kü#U!fp3H޳"R~hR5DuolDSO|i|Ex G/DF@aO>uׄ%~]28]nl+ LVjP!ڇMMPȜɏ0F#o]՛&Q.=;P{\>݌fӶڴݯpA]uJuǚmt"A2 1_!'N[ kBew^(`Wm)6OR7+Wzs`B2}Wʐ @ZKt1Ũ^ mu+ZmcQn]U'#~5CRF^ C1,Cv ߇ﯟaZ{߹p<4MiӝۛՄbK˄)*q/C*m1)*cΚgD+,9O ˰-W%9IQzʢn5vxTu,C?I, l[ O $dsP1"^&W2e=C.(lx5Ô|6|^2S߰p@c/^;쀺fCMdt1¬[A^ǞUknoL='Շfq MNegBߕ[;dH a&AEyQbդ3&L rFҖ 0;K,r ^B~*Zm x +:̱.~d;"ūܷG~u7UYOr@/RHpǏ#qaJD ڡѧ#Z86;ϙkH2Cv(ApJ v$*Aھ ?HeAG'})L O:nZӗC=o2IMH?^gG DOG)V0O5˺[Fzia ?$5o{ik'^Db;nFlxH?`A8lPo$;PXyj$K:m[ XA%|]K nUn]ÖU3_Qтd֕kҵmjҡ@:kPK2uJt=9eh;>?o+^b(ST۱CN^V &!hC:^d;mean곭>3iф)22`ξbIӅ8l[~oy) ({н5|'pYoH6)~85vݰ1FCWPuNP"Ή2Ț_FCMjbg^ů)mBFh-0ƭ;K'ȀV%Cӓo NxwL\[w= ,+յ]DBսjZغ̰sYŸEZ|-0񘮌(QNƉsN,0 \Fv׎xt1#tQNvV^2jSz*s ͵NjynVÆ8cpd~.ZK$rɐd0czګwx{  +&ԣ_Eo&3&1ES.Q3"IfAu*[KPd'JiJF Q#%*Nm,ņ/T*PozzK!8v;)c+z6J=2G=n7 n}b @LzoRR?;FhEeX8"ָ1W9XԽbPަ1D2`!W4|MƠOr׺ބ;]ai;?DŽxҠ 4s}~*á4! ͳ~9G` W L%2?|no$,۳ g`;.uVlLwZ#Z9Di}o ]tE%8'Q>2p'kȥ̛ ;`I -yr;0\vtM)1H_WyaN|Ae"[ԟ{=^r=v d7u^<0tn5Ϟ0LI*Sa/ЁbP~5lIwpݘeŇCwEN*EX0"8sNL*)? 0HM|6Q;.s_Aǵ':;Yi%!.ʺ N5-z {:PLZӽ7hĮBQ&E{vi͉5a~aǞ2RSmQL`"z$m DMG|f9ly]zr|Dn*;b?R =8P+T>+͗`42ǚm'ʂ6NYjٲ>+Kg`tz%p h|] l,n8~8OJ@p.+S 9sW7{xV-@Zl:PVvy=`ܢ t%qWvp)1rE%}:=/J޴un|OF<K,3a8[r$푑U]b:$48(l1V=" δU+nFgs8I[. ۋ|}ZEī|QYK0=}cFuw[?3i:Æp!kMnR1RO&+|JVX4"/G^x/L $%+|& HO]c8ɖWh`Zg a4Gզt'<ĠO,5cdhK ɱ^DX+0.OlPE1eނj"_V fUzWM-1BG FvIc܎7L_*l5aQwt h a^}og f ۴_KВ}2btӄѨ˻ӸLH0x{u(D=Zyƛ+XmY͌I Gh*8v=!ҽ]`)pi1{O$zZbreKn<<ϽPWGFp%-&H d(\="90tB)(dāoZoX!q6yKţ}KmJx';3 Є@Evv (ۂRC\[\߰ZmJq1<|.ZnjU{bbtgc7& Ɣb'i}d+uV:z=dTξohjsR[ 'E/I.Z?xʵl x;N?K&!K'k*8Up{2&7`v چemτ.SN11v,- `k .jإ.ЫQPD->h[ \.{ gJMM>l|3J8&=Aukr~1 2[>$B)!^KRTϧβg l~81_h_܇)-{ <=Nnͤ~o%VM"G矤AG"2r@xwwyaj|種YCw QV/$mӀU\t":GCk3#81z=𑋇hЎwἒZd@t/5Тѧ &+:ោDSS[sP9J2Lا}5ke|v1b*'71h\c! k4F/r/Üm}? 6co/۴JRLӪ&]4s3!uGs/[-cہ>)# Cv7J4Ƅixi*vS<S #PjxVQT.g4u?;+lԘ_V{*3/ ͪ ^z+7aF&mi`vYVD,B L,"F(d&%2{.ͣC:"c2=zui7Q>F.@0Y_A?);ٽ&鏳JS|G"f"Sל.>\j>@_ݕ}X' H6!WK)@k_{Ό_U8. Dv?kPρH)P .WPА]pOiιT5Cr xj@u'[E]WWv|(Ɖ&^X~rvbdp$gw+aVku*:@o UDRqj?/(Y:]t^(Dv3q(-Tp#\q0 t<\a` 88a!PBҁR&+J$bMF;zrDy*q2޶b(6p}[ckAJ*#[A4fu-|]uyDžwbT0K5lvfF?¿&pRl1ilA~al( 2lEKea/>,@:EM,Tfw\ѓ>&= P86%d%G{N#Ϡ0;S-~d4t>d_n+_{(0%z'B]#uT:_.[_9p*\$29(j%V n|3W<>fQJh\9vQ1K  8p,-MwjR9Ũ`$}MZ9<ALWX+Hx J }{/^17@=G9>z5鯌''ENMNPFZ Ir: .Xz8:A,C'D'>mShrg^v)snhQ2ū5)2@P&b!,=>5[i u'r["pWLsp'ݿB,vHPgSF#)"- ,-V?ܯWl,aN92 7˳@`1y!Of'IKb{jƤzxh!#'ߥ#i;]_mT2[ @ϧC<JAWL994Աbb  %{Ŕì\f wg _7 j Z{!O3eY1 wv=Sԕ6 G~=zF֘NtDrr)e)o5bٔƗUH .IENtR>q*^ nPB,D(nY AhD-$Hi=KdpDie @_xM׺AnOy?h;LNtKr嫝=pռbwX`ak½S+3:`Ibt>DZ{׈2ct;N~24WK\v4ؔB_q KEp*.mLh-P9г]afh\cbNysjٝ\~gO[?(Vh4CF #ŧ},#eK?Uy!l!pUj+oޚ"}TiVy9^`lq@^?)D@ aX)~!S}6Ink,#*IZS+fV~]XI&CNW 7RH Gx*'te~B(#LB97:%P)E@>1P\ayQjZ_> ktjbnGs$:9~tK.n߸YrPL 펑2%5D(VYGcb[ gSw- 4%gJCÐsa7q8wbc* ̘g죝)WzduJn \ tUw0Q.s(d|va>ŏ1 y",5v]P*L{I`̿+HN,P[^ | =UvQFq1DҒ'Ži&\u~ܡ+nDǪ d誑Q N x@ rӉ2iGVEP%o (Y!W.M$V$YyDTK5`'\hb~:FmM"ԬHCƐ9= =w0U,Sr=;\&QO#1Ntӑ[TKOfp23ob[+[ʮ<:q$tѵ(*i':] _L8Tw]ݿv6 wU78 eMаp.1cu KM:IbW'QY7GV>`D˜$rW۔\۷V mfc̞ UN qh偼%GGijٔ9ur `Μb[qqdv4Qlį" AJsRZPiAgxNFﻭ./4Pǎ+ Qu48JkC{]p/fҚaFctYk;4e7 OC@2Ok$LɟMQu(y'G‚*CCqGr Ae6Wcع"H|R+I:ҵJqP]BH`^aeƽFMG@dCJR2tuuYr.GEċN ),k"mq' }LO( 38AL82B)PMtypY/Go_|_j j}0j mz9=ĆBQ&;?C4PQwBT4Ei?~zՄKAsFϊo"" h/}!hܻ}  c !4ʠȷ?sUħKwuZ^Y{ZpXƦ{ֈGmh&#џ%Qb8]\_($*<<0F:ش'Si0PhG-5߰ZL\$;yay`&͸(}h@1&$Hnﰚw)iT~O\-ENtQQN0FIٽ}[!&c),ƉRwsnnW5SR|{Rr؇Ze>P$_psu 0 ,!3h7l,зŏf4{ނd2]'@ok|~z\݆V/uoJP+kUW6=R9Otol!>)]9dqSX_EXrLpAv2h\~)wd#m >g̝Ӈ}~.XFE]S{2QhnW{R`>1 AYN[<ܧlK<(L:V줹ȘpΌ94t꼾q,is{6Amkf߻li7o@mb :?]_q U >5 +F!8cp/C/ADGL%J0V؏YyWL(]`;`%#,:р'n@[2 ,pxRc3Jilo?X۷.+T U tO|%ES"ꯝHh3E1fݸ+rJgXM}7?HJcyw4/BfŽAi T%˴7{WZ\Ǧ'ؓ^a,rb<݀ hDS,O$Ժ>M`S&\$zvjUqeh\_B,p8&Xآi@[ 4()?hfi+%I{[( ~UPSNc@gY}j#6ITgEJ ckl{ YiͅMyF%GCGMyW̏"֋>:gzS{eHC# ; _ĐIzy'|EԳ֖&ڧ'T+&s2mhN&VVY)ɛL{Jԥ9CO6 ΐz9 pq.LEU)B}y,Olp ZPw!*뫨2wa0YDb, ϑ>0#B_T''-^MddYa-&zE 7Cɢc My(wY,ZC9"3=n ١8v|Ñ'vոJjT]g^*~qc]\c=@K! '0q1/a64xvRXbMIL\ASwsKN*bR/rAܮ;BTf/([Q8 iR;#6^ jŴ(/n{6t%}qwތt21d 3OWQd0;a7L%"ʭaW:ÇA|j{s-$ތx]`v:A!g&.|2}ry8Z;l@dFGS k,D4<4bḛJ`CC\^ Jf.x ณ{+N 7K~].bNONMLg"3p BTV1 ;ߡz*⨟. _1bBЯtb ! vUv F׊=Yj7`l>rH[LIR0Z6LR6W{p=q`5[Izf$]וv.2:ɻ%J}ocF3FRXd*ksGcM TPեM?zD Dy+Z]3E7G/h-5ӓAkVo'% 0j";a#o-'\>X`BHX0\hƅmmO ƪ<Au+sc,CTlXq==HDjGP:[*s+.yZA4>dG j d9~5S%*[zVs&J\$(HC;9w͠(^} cKTt|g; ׬:5S*{^1ݢY*ζ'1 }43:jw&wBe75c)Y^LO5wg )_I[4:N~ݚAַx"ȡگr) wGXL1_9bnE=NIbPI+⍢6l ,K[XD+]UۦWkbL9=Y8l̴oy~M*^~yx%eߥӑ[.l!۲l>ċ0y(+ُ|ݨ(p6&g  Ғ~:f:c Wd"b^J41o`?C|=+)]Zk/648!ڵFfŇ&=rk,]_`c3I9z7/ c (<WU4]mpq&߱rvz7z cleK-UdOQQ(i&:lӦMZ♋SmccrHvyIw,6Sec{gdhXd iPްM2L~Zf}CS| [!Z0ʘVd4dqUxChpt9s\G02K}F#CZn"&% ]+qRVfj%_B+<O1'oa2a&\> nN USfQjArG2D~ٛF±N\qTZ ƸRQ0 s]*^ھLW`..hNz1\]i}v$Pœf!1;RW_[A]{xVhx6CV7;+{cԁYdtd? Qez(_x񱇶5RL= Vo-5Y'|ħx"^ _,4{+Fs%]Cm͡2vih^Xv7X지a~lh>|,UjNG D}NoՑq_ ]N1!KH2E𐺌O⽳0̴j0] 16AIHpE{PWe W^N(I+!׉EtlL YZ