texlive-bussproofs-8:svn27488.1.1-23.oe1 >  A _&)W^^f9F*4Ϣ Qym''VN~"oPXxsqj QY74=b0 Z^< pk3 |clcctuw=pi~PBZeu;Э%l8l)z0%:'RgGL5D["/ RpאfQ\'k)cbfK!$k}RX3j|rne42~ac6b*bX[YW1.q5mt3bb972f1bb9ded15c3ef9f18699fdff0b2364ee18e79a48cf2072b382019d665f52398d577ef8f49586d6117b9c6299479a43e05G̉_&)W^^fg E:jRz]59n)- rB‹t=s1gmD lO,a0;".R. B\?kxH$g [k^p~ϔ$t^:E2gK2 ?d9Dp= ? d", 0 a,0DHr      ,H(89 :FG<HLI\X`Yl\]^bocdeflt u v ,z A T X ^ Ctexlive-bussproofssvn27488.1.123.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._eecs-obsworker-0010;openEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤_Q3_sX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2018-23.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_^$D]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0010 1607407973201820188:svn27488.1.1-23.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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textZ:p_Sutf-8b81b4c8adffec3043a840fc7d466e5321d3648fbd0e8511a2d84df8de3ee666e?07zXZ !#,O9] b2u jӫ`(xy1P vFL#J\hd&A$iN1d:m%CL@b\!خ,>=z 8L"{@$ǻ"?qke-9|Yh%NoۓQ/Z$ X]<]Nnˇ;:Ljʂ82c)mे18ꪸKl`Ap)7Q\< kR 879✚ 29F=Bp5͊77w[{DZaq۰a9(BQW#=PϨ.fJcJOW$|irw:\Gg'p ޘS!ݙ uʠRIDߥdTF9)Vc962+fErMm7 jxm~vp\aVoF%m'I.g~-~y.[(iʰ >;(Fbі取i#Σ`p'eex ,chb5POB{l gz.N&icFAYq?]2 &Ts !RUp},עP 7xK49E]L q*X:j/,qqщ,bخvPH'n-/N73R|tEG>b1wINt MuW3-HF4fмׄimwWk p;摓jɟ cM'8UƵĜyS_h,ހ^K +`3t]XB\yW"[+l -ӈ7ɏ?^Sh2%nz3<ɥ/[c ,({1yrd4[{l*?,D|ryIzH-yvB_5.S{B{UgN)i^wř~9cHiɃM33X!;+POBGuյͥ"z)I>x݉Q-MUb)*c׬v%4cd<t{!9,">7U7H?6lCR@ `]8b*3/3jORq)f BvVrtQ}Sq>S9ܻ؍5~MP)[;О`|[Q4]T϶ZQo"[a{KEhT$)yY ׬*4 HiKm*-VޝΥE1z)kʚvqC#F%; #D+^+xI댺}ΰ\.Uɖ|*.F!)Sa,K)iYK%"(bQ˜Tƚ/$[BEBe`.V2'"dH+g[-J4j@9xN6wS:g,ymz))<#tx2Lor@ k u˹\o'Vj$-Q/ℋ\5 "+79VDcsQDUېt9Ȩֲ+-{s^ޠz+$kD#[wE|zZh0&X~n]h(@{iiDF7??NYLhl>Nfߡ< uI&r-(}í-{T+(c*dJ#+La;AKV h4N2JpN"C_r|xn¸7Wágy-0kOȄBs-UvrlFb~/6ʑԷ}g(ݷ Gɟx:]Bv}W+kK$-zw$D>ba%7hN̳T N+3p>P F]Md4RӄZ2tЌ hF%yطeyOy*JS6G:kt%K ĔRV^H˦X55zJ,B"Ņ kCWk1L55 wXfP@n=( suAΛza]6 B]|<ȴ$KSPFSa/hYse/0t(QʙDT(f2lezñ3}~ZͤGclGOH|Ѐ)h7㖂M]36*C+SP[oкpy,{E9A*!J^dw-q PKQsYֻҏPfGLHlӒTD^8Za΄͉rTĔ jǒS9k79V߿CC\j :gчj! ^sSm z |ۉ+"`<%j.mN@# Ӎ7x4IF]rTbAL~rHP hT \DLCCż DKL{b Kt J3~%[vO"ZJa#Iei>Jmr i[S`SX#5lg OfYS Op{זBQVb\dʐJ{xGgu}F7$3Et%֟<`Šl*YFU-P-L5h[==ݖŘ~gUZনECvm(ATljzk}%V{oJ ]>e"0?K̑r7> C7רPtZoY : (tf]p^àੱ&?:n#QFKw8)p_* %urLkt5HlQ 4ůQݎY%B2Q ,ɤ+{]G|h!jY(tQ;d_ 'ͩb)ű_E𹪐/`LXYpH`BZGw]~`l*:MV;l6"ɕc%`DLFG( K/KRՌؔ=݃(U&J mpJ֤>!GX r'XZ\c[ٰ@lZ30老U@d/Vi`HC8LYX0Qe!ke*O fKQ~N 9+HAFj"F6fHAЂEUnMT+Bw5}.~:`YխbbC~s>n ԣ"[`nPr[J7U3oF @R9q4٫jV쩐?.@94'T6;$c M(m m$gaBv@`U3lhH8yK0\%$ġӘ&M'nyqav{'KjmdRc zzޔQ&JE϶dg5\PV- PPRKϕ4O'Xa{Q;1`FFL󅿅J$F~_ǯ.Q; bL@m"nWw\+u\F͂)?mnjM xmc uB*ssD/QJ ҐUepI׭Hr#;?_{W?!3ywoq`OhUTy}Eu'\5G0ˢgC:+;/#_izgb>E 0+_Q睂o{J;48R- R|ؔ(C-D\ 3<%I qH&{K FSdyO@?'mx S9s%iށk_5jgm5^t͇<—hkbHNv<>>K#mT޹t.gejmF/f % ]uZwNz\+Vu/b T9kԔwzd Z_R~ڣwwm=MMqk;\T.b,[_оuQ$ԡ^Ngipr{?}ypcѲf09Hrr[^6N 9Mh~o|i8rP85YhW5[lOSԦQ/&7)l'ߒC+4t);4l@B[X?-aY!\` Bz'SFK6N- ȫ%]s~ކi5LwlU5+B3 \WGl41˧1H8\AT4=ɿExM·!bŃHT/'"v/舔Ly#f$'m 60\:c_%I%nj rVy'[>'B=6|DLsfr*:[W!e:xͮ %˹pZ3 |\h~|z6 +p &8?zdA{NUYݱ/5Fو7 7ߗp2]`ʄuzz'?!&zmR.a&%9@HHF?߂WuXm`cPptJ_LuV)wsĽs2FZD,Dt5N8nUW/%E!E^ޥnY&vj;E'A ɭt{8F bQaI87*Fr`B8N}5I?ޒ Ҿ=z"il>-¦>Q'ip0)v} ӑW?PGRK8z?)> jpHX{+k~]֣8RnXPFb.u܊u:'g5 +*MElDMt KD8 u,\RK8Z-.F|3}ƿkCPIH1LK~1kՔ>!mlK r!b ='`=3˝]dl0OAÃDZ㢾5 1$m?VZLDP%.B+t])C=ïfN!c]a_gT<)g Y'KURzC4o a+P+Ny-0M0X]1W-N7[5K3w;S N3s2KdX\FJsV҃rRO6 E0`Ǐ@wӮ5M B+rY# Pi+dR:*->=gnGkKV|U2McNq:^;PŠg>Ȁ0_ ϜiNWVņ p7>}~ꡠUfNHޫPV䔬9yV`?cv>w" $㐪3~5G'{=p6ё}mzI3BZy%HzEh_ʾm%It]-fH/ZSiiYi`zJB[tPߺT=uspHĩ>sB{5<,n^[? UCw.o7iQ\jJ""jgГ]}ZX3ffHWO̳m8~=zCOn!zc>Y')2QK8תکfjN>̎L G~|GG-}6JKT M|f<KbpطxmDѪ|QךպQ^l%獾␒0 Ώ^L!Iϩ -P',篘eb(^ S0s^ r/tN<3;=0ogHs7iw)@f^QHH*ɳk,mu,Xma[Iڣ3p-r"-1Ӑ-"R͢X5:U ųHZ$սB2wo|^}\< aI*'J r\MZ-ql}\2ǽm-w^IK`дcrHl)zn L'hp- D,iGJxCBQܹ"\=oF7u,Yp/[@ISj I3\};E ыk$nb58lW<hb"D!e#e,bG zsbT6xrү}5acfORADb.?w;f(]qاg_z}.{5uO\s?BS *CX 9L 6L*ҝS3" .I:NH5n wݘ3ڙWc5#q݃*܇*=y%[ZnD <ac[w>1|SExD+[ij"U/wg6%-ϵW48Z"_79BPȀ#B U6~/R|LveAJX³ޑ3ڐ[@;@: KZއ-?G!dQ 8 V?aC7b1:~=fc>vO,׍Wg 7c~m=g9C<]8zSkxxk Z#m"xW>eO!>9+׽85db3נTrT|牎,BU19#ѧhzW&0:,=DOѲ3,jweZ;0kC@c1HbБTz"kBJa$|"4]jr)2)/Ri[M%4GjLڡI zt" M L40sE6_ΤS$ Fj|(!J-&N&BC&)_=tIG xS~VJϙ#0tƙg ҞڡЄp/観/Ћ7:36$STfzl}HZbp>0 p1٤`[ٴEŴ:_~eMo! 9X(I>Mp,T)ʺXj75ڡrRV]9umkFFY[ {P8T G@iO1|ce|gr֭jۮ1aHٛ//n bл+D`Ŕ= =?AYI"6ts{$gcI#XݭBO+ K@μ:dUc&OG:ɨQ{;}^Fv xag| ٞ$@=u?R/GF /yL垮pqkԟ)aT^o;GS@}BF=Çp'+j=sH}My6`&ѧI=Q| ׅGPD 5k952|<yT\dWE~mŗ~p'F-`q-L32ws訣'WS!ĐՉ%'|s)2L%6qn#b1eQ ;,Gdu6L'߼g2f::W(jmScxPM b0 )F)3Y'`xJKC滓Y@X#J0+I^Bxl_!1|Ex۴ ʚUa[V  JVNhŐWdوzl%tez{K@-o 7Lm13ޤu71YGiR,_Ke K$|>2KvDEc9y!(ʊtMH%<#Xa2@3'B,;1IBYe1/$1lra7EP +@#)0[lx 7$M*:cjZbU*}bRSN,慈S{F8[Z0= iYGey#4NRrRkMhG,vIޓ,Owp#0gn~ɤh&k#>&t0INf-<R!/Ze/ ^D8~$RXȜ6þ0 S@k3̛>@侫FQx7Dh2s>2qh mEp),OD-_|EuaYrM&'KDb~y.(*{;oo&?lP1 1IB8k(!_}@\6 &r˞޹뢞V["d_hL JA: jS6Bv.Eg WOP JyWF,93W5.qT[]n}wtϯr@Α_ KբK4 "-lPC)zh%x㦃hY&oOJ!'ζ,ŭeREd26k1U_ $jQ">tb|pIuW*OXe*-b֜'D/qZ QiHk'kwtMnުxy~Ux͖r9 jѝ?:פ?MwE%LCOMh*0m{xc;_qDW@mאRFCw i2J*:=o7&~ {kpo?(6'9抲6# .7Xc<>X@F03|JMOmgFY؏I7"g%luCd>lJ)$Ú yJвj /A(/T+~CH̒5~aEQ>Zzu<D@F1'%rWrTOC@蘞ֳyϢL{?tl1l"ɚ|]cx>D3L $ [#*;˛ \Puw$56kv (~K@z8A4^ʋW/Wާɻr0dWJ7֘]c핻/A1 C'!a6یWϔĒ#W@l`3<%G5ܲPN:2}0`8 ƒ.AXȌ5te 4@ =F0prGabuc^n“~KSBe {oa PQz(Nە^HmyDCP jn#(4*m 0tQ:9CBL6;X~)n&N=e) #Jeig3V9m7=h GȎ:.DOʌe|2Q#P$[N5`E44@ cM{`j֠iG ˌK4B,AD 1{-Q₀*tt$oQݓ9P\HG=p\2-̝!jEo}KVzМ9?|+B%,[ [k$=\]w-ױwrAc$(.Ē5lӨT񋦤ʣ=4;mZϴ{FWi[JMTV$cX1j.;-8("1`aZM(>%iSa0tA2T^㙩wXX8 H[f]3JSvEIS=<0q)U.6ź=j"A_r/-`?|oBlĦϮG(s*-F$J!BK+Ok [ ][~[U[ ިm -'7jfɢ9Syrjw[^HnjRfnsS1"xQ@B#^g 2Ta)ҽ҄ˉhw R  K׳ zs 8̡[tsԲM2[N- Y %`7f;0, ?l@C@Z^3z#;~2ɵSN'>Mc$l6ax<}󤪵M9'| Z}] j+'!:33}W2Fm"FgT5:vu3|Lh+aTkNt9GՓLwc6&Ww؁6gE6}J婍|;d0;PXu}\v=9%uJY] /X&RC[aS["3]BCtAb84+ )XΪpըo'g=ڽ)g*PfRXp\P۶V!v[`xg;.j*}ӛKjЕ.B`ȞXij $Έ/H {+=+&z kgY$̄Uۂ{ɟ-5OuIe|BH4)]*pY;P|;6U!P\Oln.|7_vMte4n~_vXig ̽vMKDƎKA]=]mӅuzvMm\`W; BGvFŏ4*AXUɘ]>w d+cZvKcT[7D D5{V~/فEsG}ò]j^Zͤ־pbKzq L {QRsC6O F swD9^)8RqAklE m/y3@:FۥTk:oX7"1 I&XNZ+̈́-0w&$'Wn>B9 ;*5xr2uAŊ+x;}NWf&R.}~z0fabR8" ]. #F]"HxtweR|=*Q B?1Z(Ê'xs<ۡ}0S+>$L&2| wKoP>8AU/3Z7{ZEqa *c?um[nH,5Z%fYhiGZB8m:آK8Cs~ *VW玠@1j1lNE^,] jt/tV z3̼L]MSS_FriB=0AW&IeQ{:aX)U'?)'>iTfP=#ƇPpm& um("ԩ}|R;V2 :dǗw={ez\އ];! f/ܸ,j̾@Ⱦʌ``囑4^,}f.M[a0gn|#諸!t)OH@Xߩ@ڳ-^,tBM4yy;}"㐘Nˎmyz. ̅ǚe2&\hR0t1Zƹ6}M܋Ѭ'X'z\)A#HsIrh.ގP=~vJ%L-q"tΖr5jtC=|uS6nɲ>w/k=d3-)A2E:oẗ́ʶ YZ