texlive-bussproofs-8:svn27488.1.1-22.oe1 >  A ^y,W^^fVd'll*bs"4 *LGre`ag.TA+7F}Bbuқi?OPrՇRӐ  Dڶ׶#W'U7 &EyʑCu#Ƥ/4̯NʃfKTQq7&}{``3ecHwꦖ?҆56bk,Eiْē, ۋU&59aa264f15c123b44494af591638650adf4cf1c2a98b300f0470f08eaf4f212c85bb6776064c1ebebfa97419e63d5534a399f162Gl^y,W^^f5؍%^Z;R-vC ދVQtûgS,79t3X2tBwzfK7'F`NGuvfx„3ڢ v rn$aeSaUθ@'V7bun{'#J[#z [(Tߥ6xWTw^c֕fgy$0/a:['@NpɠDea&?-(FqP>p= P? @d", 0 a,0PTy      4P(89:qFGHIXY \,]<^ubc(defltuvz <Ctexlive-bussproofssvn27488.1.122.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.^yobs-worker-100-0002.novalocal;openEuler:Mainline / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤^y 1Q3^yX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2018-22.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]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-100-0002.novalocal 1584990433201820188:svn27488.1.1-22.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:Mainline/standard_x86_64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII text1u(E')xndutf-81a417bfce053a421179936191486b790e4615ab5ae0b25d2f2dbe5198929564a?07zXZ !#,O9] b2u jӫ`(xyT=&dh UH0i7nd/.Mb#0 +^V2{(33uLR 5tEv),,pf:> ߊWv$YϢ' @W$1ו @*SsQ#\K!uZ$Vs\8i5k6 ܼ tہXf8F=4# Gd] }  ֒WwcYvY-uAp/5#07 XM=\@sXHzhhI~O7syW[{TF离r }ʼnI,&uTQ"m 5ǝ@ƒc% t JTCaR? |,u*AV ;FJ\MkЙ !b0<we!P?Zb~ G:4*r1`?Vݻ,C.>Tn@U/Ut %ʨ 0h6U;IL>MDԭ`=*2B KCiTC ,l~w}ܽ"d1(-CVk"-5a\5EZWQvYn/pX_̱h7x#9Pa Ja/=7"sL=e[$^:^DWe.!۬L`F&pl9ثwaSw%o|$|K)>q!#"qWy'Vx`Oڡ1y-N)w=Am_Fk$`Z8Q' 8Yj@?O\Iik©%*a}ϒIw,2hBgd(,!lЇB?K ?blX/́*&KiOdTuͫQ'*DP%=Rmar蝪nHjaFuTl vdo\n H&m5ßG0 ژ=il6\ƒ:vv/YX=?mSPagAxgqVXT> o`B4tLM1?L`z$J跺KL{ŸL#@]忆 ybڸAΎ\SĈ2b3EQv.))F.4ft`*IV*d(Hn+m,8#k?&"'*n ̄?_N/]px5h P|` QycfP7L rWIz@)3vkBtl.`/kQ <x|99=5Fb鿦Lk%e6_8{ng"W?|W?\5C^{A9#w8[0b{<SlN,]I)P\(Y%,|)w`9~@ڥB3D+/PDUZNnY;fcv[SN XQ10xM;<$fd_Q(Ɛob\T]Dd;ovd CA{DE?D$tV;W X1pCd޵L5䯖(s^%XzwiMctE݊ӫ/c&T\u7Z~\-&{!|4pJv<€4Pmr,AX-K,,) )12Owm8IS_(!h kOC&9b4jq&KAr߃Q{QORAOI~X CʵvV/2 vITKBĖ~%{rگQvIo96Ω7yܱsFVGcWTDY#>u3CB;Y, j]QͯQ:zWISSM>y !K9CVk O&S2(AV4)y$#>&C !,x$ 'ƍ SD4k9n%^.W.PffI M<ٯ9$u2V},qcSs~5?}6UNOڼM;#femgoǔk09 dVhͷLuT(ZQl.k0+X ЕF)=| 1 #T3ʶehEzijk!cMy#'8POSGAObHebؚ,6{"<&5}]Kd8PמW4szgaU VH꡾ ='u8.dm}G(BAUuZȣU=>w("8ՂFڹ BCgc 8^iI'(t~Q^4ܪ}MEaVJ:/I<~>,'\bX* s#4pBr68O E2/vѺ@3ZA;;\`{nLbkg0L7(#t1┏HEӺ4( B6*ĸhl)A,쪖[^ YpfIY Nz0[=@! z*_4#M^*0kH=7EgunhoY5OW;h0h̿I"Wog90j#KX1'$I{o1)Qԃƴ/ЅTJBfI==gZ гF[DbAA#klw?R/)xjOY`wfǤKn%pܡ!@x9 `e\flZ{L@3600ظ+AL7HGmXK?^;ADCtS*' 1t4IMCslMjEU(}H\:o2bwAPT'мr _!o&'P6Am=-i!8 W.¾Vky2巟z v)Ydb\]5\\8~cL=fI?mVK{\8G?C{TPj耾fmjT4:{ w$}/9g)f}K%gRFc*tKHasG<{8ۭYl1< &1C ezv\CҸ$=~r3m{W,u(`@rՙՖ2{=JEB? '˻_Ի^G x(tՓ]D9a2|licVAЕ ^,y;9&1SfwYͻ nic{A]'[\sX⹯Kp'~B0[#O8g#U퉅dC} jkyw 8W1 X+zG[}Gkƅ' Xܞ "֝~Da4ZEOG=G8Dj<. Gx&|o: dqliBDh߈8P5HWt jm1K3Qp7_+nVfDSf_BRI^ #>^` #Ln++r!/W~S-[6pf M)w +bM5DmA7@SmAUh+uP]I>gd)0Ert|6kB޷ K¼- mjG" |gls[IL&L&;AYp%Nrf]D"e,؟|iA.>moO[6Uv oƝr-axN1=u4)Ԅ/lrh+ O]g1 s!u!C-bH.S5,nGr0HU$8j6O5.yprW"!h1P#! [ z"#/ fiOaewW4b*q s ɗ D7Tj4zx=M3SL+.*4 ^I>/JGf5`.nTQ8 ,m6ԟeDBYl~GW2씀4btXșbGi:pTsrgZO:괃7ᕥμ |M&mSlF,':3I,TUfhZvkO [P0 %L(gGC͒1@b %ޅB(T[r ¹i$O~zU@;E$xxr^}60Ɣ 1Z8}$/>iQ(eјl /~jIl?UХ/ݹa*f[GҒŵ±ꖈ'ӱn΂OtDԹu<^1/t@86lLt0{O^,.= qzgcQ=^0N2&l?@|XmaK Wz~OBb3(/F'g7'@-4:N`@`6nVXL=pR凣434nLADCnVȽ)q*W(yLƹP$w^X{]0xeci2N-$i=A*k@'|"&ZT^udh BR[Eݞ`Cx o|xRky%T8(y^y+^2rn7= m?ecm.f`kUv5*5]PƳ/V`Dv5M߲BU9ƨP/.c0uvƦʸ|wk{R>V]v4@DQFH> uGXNAIWB7K'.8פEEkJz;ίaFfhxon ض|G;2* Eh b5ɔiۙ]ﻕa@I8gmK@#רo6"zc e@}l},x:^O iðρЎR D!gM]ClM̠ <D*] <ԛEqKF2*ܩڥYKH Kj<5U;qQ!-h$\?w@ڑoѶxHg&͉Et}paٓLOYmmf4n>&jTTs5~vtN퉃NOQ7 9.i 95ݎhҚʧueD:je@HDvF(W@_W!ژOԌ:<~<4nLXE-pM5wU{7PȪ #'Y`V?m4UN1$%˅,S*[K0{b| 86 k5 d呹Å/D%@Dʳ?9뚽v֘8 ťqkO>r22uQ*vs,/Aj bpۣe]y aa)r`o)6q uZ(gKwZl^i) IՅV*>3 3Ic!i@F;-;z1l-7?Ɣ-(\EOTcbśaLS)z/0.BS2s_s1AEpx"R& j Ie"1B%!NӋ~ɱm,ƕ* )TTiKD >rO[/?gL0ƕ@\|MBqܮ![s.0Q\ߒ4Jǟvgkkպ _At<bW2c_]~UyGH8F' bDw6;!񫆯щEKNS L2'ѻk&tEH{;tg,/H@짬C 9 8~ v;"9R3CՇLWpr9Ѳ+ׯؾgSM%;9R^FM)-X]X-o_tR|ى]bٙ>Z׸4i64Td'gj8U6} \ X:R܇nȷ ~ jfHy&iN|%d `6e VB+SO+&OkFÞ\ԃq▹#/jyx{jd&ŋڵz |Mzn:)WBln}>՜~90I0/U]qRAj.HԘpa(R<`2lnjC BESPΔ-Ļ~#JmM-MS*I} қ@7G -oA q>CVt< W_qBB*%i= DAw6W80<._7R>F|#D?NuwRf^蜈,A/_29Fy8Fа]8X3 4bB .2JYU44)O`6U0(x4u |6t^'KVMշGT.*~!ʹIfD*Z8} qCdDկi& ٤ɛxd (n+7a~ Q}@[9%ytxp9zzN$ϕ:x?ӻ^QhX‰ڭIh"V?3WuV<~{}Қ2UȯQ[Ͼa!Yŋ3.fO) Ciq @PC,QGW@hNS:β%U7j[,uӾ :,6 }Q4hU068l3ŝ39lo%P];NŜ}CuO 9|  7R䌐H%P*iF86h?+Z௖?<=5rr6E\=8fHDϕ?ŮP wFZ.qJXqwj{$xΌg7jx4nb~!)ZD%~ĜCݯh>>t'wiVB=TL2HSUWqCUd8?AzfL~$B-`-vgO̚܃AKf,/% ,XKqk OSFSf+oLDLgd4sTe o,-?U;8:Efjg իynOfL49 1s3+IulQu5I6$dBwNK*2ŹంN 7f Wl|W_#D˥'דښG?+3Ѓ䅌l]>a\=tӒZ@?< yċM L~  1z|=% 5t9LE .MM)𬷍wco/ÖL%)W#.ǘ>#6sQSՅt XC8{z~L  3>,gBDךϞ/^/ulV^6+?{`g\{KZD|G(1LߴQ*}5aYR6UaG:HVZ{Ԋ_^ԍ,8)`B?BP6ׇA̤4:b?GB( 'tY(ޏ;8d* n4PH,9((]1XI0!޻};kZSxu&˒K%@c4u(N*Cڕ.qBDs7N"JtX8vɬ1a4me+eF a A5ɔ%y7Y@8 .i&1/)5R󴤥V%"R@ԌhkB2fӁYN\4Uyv(޾<*^->PNx?0ʟ'*49}xnx v*ǚ勫m< eq  -s{}~H'fzt8@bUBAnT{#?+MeC <<{JM=n9G;c~;R[aW^<F[NKh^Ƀu_UoyISvQ1:VuC!Nq2">.3S;NSNNaIa%ΰh!eʧO2,F[":=l}jxns|im'xYPjtmGBƖU:ow߆<齊Hq49mތڀEGY VCZ3͢s8@I;kY%ukWE cpF\PϮc׹mopXW@olj UfRIDLaa nlWfs`əv)/HO+0_#fh&9Й:wG)_rW ҝmEqҼ+1o%zA/?I|!aj<{}*%M)a{SwA9&4B SeR[tȩ[!Ec1ʓZ:5=j | Fƒy`QOx5 62X:vUذ+,ڂ~iah?-\?5 8ת|Zte*Λ`|r2[ZmR>^TՈd Ir#&e'1ʹj^ af- MQ8xDճE 钯abM[;o?M/Rhù1aQW`;u %ɟ-^W1PRvNC?r_T#eI4޹ԚǢkIH5$EOwEԴ#a\ԋ桉uz IObC&|!Juu͡`&_G;rg4rhRcB6G\]~QW2^Y 1ޚ#Om-T07qA؆,{?oξĐ2aMI^7n‡ݨ-Hs (\ɬ A:u>AO6pnx ۔?HPlxIj$Z*OۮMX$lsyYr/ժ_R'h[Ka|5%irs@g2x'~&DVg'sbWd_FV~oH!"gJs߫_2m{~abvJ6T9:o\)Os;Ť^?11c].Fs쌇3g4fCNdW] VqɳC¹MVZzV%}CJZ{5vO*R!\_M(?4VZX ښds Bhwo/4-t#a`((2P@Fl% on0IH.jY6ҵo]$>W1pMoN9O pzڜg. ToUp iB@\G3q3:!gb/ - 0 h05:7VOj k$OƸ|ڊY&HvPiYXdo9)mQ "rr72vlrwyƼT3[M-IHܟSA;!jAPWT3[륑ϲJ ³u\.UЫY))C*=LUKoX  :?|%73Y^kE"v?J2 K`u砸QjRe .l/y|0׵a 6SxDw:Ϭ!>6˛Z3t , uwy&U1{jaN=J[>.a#-H}Iq/,| T繳; 5i̧].rH~Ě`^<1JF4{ +"b <]T§xL023 8T%08!|:Wc)MRCͥ5L!F}>p:d#( d 'DwP@'P A<.<` Kb T%Iř5-`7_jρ%6hњ@ϡ\a꘠bDQ"X+|}>j?% 7oX"yP5; T K!*F.&0#9>[Vx7lgPPl#0Ej(İ4"TқCdxBNk礯j%~VLˮ|.H*uʄ*D ks/c m7~NjAgQ|4ÏE*NK֗SA+Y>gM! ֳ%{F+T2h?}N&+9%chYgf69 TlH?)0[, 定ysB joj,{P/該 姖hּ&<\Vy6LnC!LJ_P 9 /{IcWNvkgB@SŘ LxFmUSqea/\W^>aGqijqfHK8(] K୓MU8VXJ-cUm0"+G8b&5Cɞhہ4$lu/{(n s=XB"o{YB4ccU̢ C(Z#3U%;Ks R^yY8j^Q,J:*vǴؔz!$'鼚g `=t𣺇1k60h@d=pZ9H#sw k>*_5=DZɞK#] -чttB}XFPʠ7ut-L YZ