texlive-bussproofs-8:svn27488.1.1-22.oe1 >  A ^y8W^^f,@LzD#".RhhfՉszX쓉 (O; az nTe6 1AZ˧UI֡^j';uF!XXUsxjj!ނV lw5\yϙ b0- EbT(2z9'5^j~?u׀ geTu4-*|\yVJ~I҆`Sp= ? d", 0 a,0@Dj      $@(89:aFGHIXY\] ^YbcdReWfZl\txuvz 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.^y3obs-worker-004;openEuler:Mainline / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤^y )Q3^yBX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-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-004 1584990259201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textiwvƀWutf-804219e57de1db06d6af901718bf134156298e2e08d0f72925384ba88bffcc076?07zXZ !#,O9] b2u jӫ`(xyTܥß$xJ!mB]ICl0-F V @Pi*WЬ(Zrh1U 5 t>R UG.] 5'Gx9hG㾝; &k.>.AD/ \9w wm"FU>RoP?eИFYT `hE?佤xlx,_~+?ǒ-Ee2|SuT4)o3bB%Z3uC{@V.d||A~(l[cטP,R{Zuڧ[/etjyu%Y,\) >9lے} nI,/i +doc=] USwMFy8>9oU傘p#\0 Hs:9]Kʥc4^Af 猻X &AyBkLXT(1r Ht53m?,(ÅCC]?rcK3V.b0QIaG,.x6뀈p3 q[0RL<[DM4Af[@ tVv9 ,'b6׵/!}c[kVhm~Opi֩Z A8'⋿3Νk<6g+=&:G+D)խQ3腆H̀wZ2n)~u.Q@ &ɞ'09gK0Et0prZRS: u1]ntior" F2ux8+1o=e%oJw;sW]r ;]BB*V(.2JeNtZhwX+y~ GwN䉌~yFK;J%p?L({B;a= ŭ}AMZ@4 CLK}7 ϲO@W]n+vJ|Bf 4 -~bKmHILM]T(Y)`P緳 LrrH:TadUfHzdlZQ2p]=o; \1AY]ۇ.쏊#Ou,[%ճJj [[.M<z#!&;g B0pJ&Ls߻үgxso#"Z[ށ > SN\\VRi j_=xg`྆23Uun狃XE=a+T~5FHEr3O4d a0G~#gؘ 2f(9юD)tЯ65p6Gs~^0iïnM tN2&(>5hhfmJɀ|پOž3OfdȋoJɩ2HrP0ZC %w|V@)y@D$nxQJ20^wb x[f?BƓXuD..`LӰl߸WYn6D&uuv|_.Ӡe"`oXuQPAE)*3I>S̈)R  ^s`Hzq,X]KpE%4/;A;}7+x+V4doHiTybjc .wF- EI`3-5U{\> ftolJvIދݝ" <]M w$;=i -`uaPq;q8؞|VlCaZ-Le cAkL?͓k&^'tK9!ԲF`ѳZ;":!Y+Fi gG^{bK aE[P\Ch) 'wivhK&>ॵ)hpPCPE=FI$'BדOBiBpCA u D)YI҅! vR6̼>IN2m֗f8@7dϬ3kL# ȕ0}30jVD B|Ѳ@p!GIW{sj]jv˜0e /榣oC$~uCD).et?'Zch$%m-/ٖG$ `rTLyg A.nz9\N#ƚ_{6aJ77+Fo>3Tkgl ɟg('$+ ap7g_9J~}qT5=JUH d|=OOZjZ X#1F6{9%3-m0}lIF+@憻Z~:|-#T+;2 vvXkW !. ۅ5s C ]y8Rb„T~}^+NuxL*Ki#|J멷3_8[?jJ:$%/E-( wnDp݋dԘע;nG ]-=X,2 T4ig6+kL y#ק t(/qIp)kvtg%Gs{O#~4n=|v7do6=os-eٟ!h @" fpF=HGA/% 7T~:@LGп^SDV>lqH7=ᗑXEp Ga~7cbZIB3(VI|rHB^ ī[`͈p J8C*g;aF1-dKͼ~ap17-!ݓV*9 g Dq5OC~cTYH6UL. }xL9[ޑ&l뺚Ow5np٬h6/s+u)&E+C|704ʤa-}".QYӐmAs7!:X`R`a: >D C7}sF& &xu~f_;ia?ʾ H9D~?;!)ؽf'!v iuCs+d|~20CKG*f5(0ހ9*OykIسPhRTBѻõ+XD(!Ø8B1G)a8^<}&@} SryU. VgsM< H ҃߆KP.8ft3UyΕw<9LnZK-Q#gb}B+}I14^k"jkS'i1Njp=RTVU,RO[_zW(< t6㡿QV\(Fvi/"){ҎL;";cj?{=a΢ID!`/ }r~%V-s}qod)EV,Hu\/Qv=ꦘW*X-ə9{. nNg bֿ&4 یb?"DIYi obn8%n _ȚZ;]&V$z(2I+ z|re!TaӃ@ ; y_JKnXl%4-.wlr.hgƻ d;y}c\D:ow>oـƫ s _ɠKlJݩUQkyhש8;5ވ̴ŐFCaU9]%q/xNqiV~X9eRn.;u:Ln=j ?;½H /2 |Gͣ*rR޵ԄPluː#/ cQ*x!4DJ @wA@HLjno2ٹnt@@! m^7wEz$(W=şU i7p 6 1B-1tC N=3GbLB[aY/`ՠ]E|xn9Ź& D<.q/6cw ]uc$\ē9RH?/cG?{pm"``nߠ q6>>F* 2{0xI!p?Ȼ< <nB'E˫X׆{muAlq!`|`> Q0HZvBoL, QLJǃMGɹmib[ mIpOeUYEDbP rZİ2UCcS6-oƵ}UG*1W3w1g,U([3afOb|\ #inM0H} U ڇ/=@('K6M829n+(<*z4QC8 ss>+{+ UT xfdnAn`uђR*׫=POu#$)#z4l@ՐNd&D=}F =tZ 5J ,wE?.ŞͱIfV`n6lbNsQۂ{e@(Wq \3'y@rC A:uهkH]f*̠0J0HkCϖC4Xb*%8r63³#tu~4!LJ\*.SnF/9HA6}nށǼ }+_H- : pL(Ri9[9b4rھ0ΜAj"\>O_XƷDHYj`1>Ր /oe.jN^֞ :KE[ 1ZOt,AKfK϶炫d:3 i3{YgOVJLPҙZܘ`:Icq/qow.۟ 2T?ټw"R=ӯNRԠ{aY(xUW}s6ʚɭ6>n혈V A8,3j'͇{ ڌɘk6$Wz狾`o!weShn6%=9)cem7~Əa+#WqnBWu4f|foMAe~]@;])ΗYxWw71ɗwGdb0M/&\hQ*`]T[d;(zcbdq &d V3vN[TM\RCdj>b}$g~}LMU-" rrWi5>l6idX(kbM %>C&IkU@r1G)PgLYezˇ-sW"."T5GY枃5{fL:r;j+$'%DYE^.,:N\'Ln5ϽlWRB+%T6޹Çem"jmHeӂ>c(˲6~o( 54[ ꀌqoH/;9v]#܆T6𞡸trۢy:}66<nׯʦH}d; dy)ni:eĐkVBFHw!aFNZ+D@Q_jtq~=7~g=B$r%B0Mp ̝1PS96v^BZLe榭ZxKik(z6wסD,w8f$̘ݚ8*z wJgn_raJ ϫ:nW:\6_9[e[ 7Vc|͕&v?gI3FA>7#;X_jZ? hL+"8!lzk1qJYwò= WߞX^ {1䨗Ӝܱ8غ1G&"ޑRVq!wB zQ?_˟Sv|=vMkf! \m~`b2l9=Aȩ3*:*/TRsD a]K)OXLwkr#Pu?~^ADLuQqg~nNn =:u495Jk7[ձS#R52VsРx^^•qt-˳; ,kJU^ BkMrS̋^DbAtw1|_̟NX\TAFбRF2PJܾ[cKYTu@8=Ï4i86%:\Mq\Jy%H^v[`S| %djV&0LrPj`Wqc|4tS/ݶ>-;a}~1 P 3GMuIWR4/6|;uUC*7 45n"oնR0uRHۑP  s-y}W!~AgRz9-\MXJHPխ\'K; *Į-n[|;e\)=#\XGZ+4v0-T8Np7{}ϊN8O#zK8$bTJ[aqWr#~#EƼFxb @lITB8cy]_p }"#@4\?ܼfzw!6SH+l{E6JOՑGݵ%Ŕ4S\t]pDRm { U:ax`֠0쑻Upl2ϾV,̑0fUaE5u6NJ35{ &J@glW@> bDSѯ{],G7.ӱqɮ6r^tz?ŻDq2'Mܪ<[+E8,MDOmO5LUhTh=!ݡ[1YxVtN E/^tJ6>Un{|hD>\_HeJmXQ+h!C?}|=H\H/q~7)ƈM].t$`%S'bsPI5!ΝFȈ7>'ɬ 1GNfb K`H鸑f2<#PZvsg7+ =zB~h ծ;z"4U-p~;2+ II7IHwsތٽ*w$3^KJU ztwZjˢl4͡v9<)zmXyEbvsO!n~VY&>\ `Fu/:E+΀Ƞ|bqXƐXwju"ck^:N}͸L&+$tqY`wG _chʛ-o)\54Q b>C؟JLGi>m3WĄ4պe=ˆ|t.W31yUoO`WUB@oJ\-^fU,ḀsۏNk&\ݾ=o <2Hb}:3qQ_?,B>XE6R?0Pf3pDf;鶁.3r%jM bi&0˂v5[}f}rnMM%4Pi)?+4%B>]:av߄`?QQlʲ{!>-`r(e1idnm?$ ՇC7OQ{‘Pkp.c3wnV:j W,z>#6'{C.:hbtb8:~^]Bt5шṲ/~gr=3z;nqN_GQ@ܢ U[mu{t-:ۑ˽v[@rNSsB}yf1{9fu69T'P5Qqy3-/*; P ިV0nkvMJ5.KM̳kJ~Y\*.Lvt RI Y[-HvY%4^^,)&v@m^AdW\pt ێ{$!h-Oi;|ɫxcV3mOFs}+Ag#EhN8R?^L݈;g\!{g-rJ:ߠU~2-D8,[ӂ#Tc'U ̓ʈصo00R~Q? EzdI&gryS5pA?@&dЋx,l.ouG:O4+'s&#{@gw GG/IeFB%/gx^G?4P/3^OvzEGfmKkLtN N]'ۨ9VgxB_ۻc0FcљQ9Az0Ñ/@ďod3RRO-1H mNmgRiE^)/ނ1 c`sZSG$QrkRߑ1NsUR˛xai >@! ĩeL6ԥ]R Fz۹.ac(I•f<5 _67_[I yFƱMU] CME5#F:!U|iztFv+Vi`rj+ׅU,5GҿGѰXLde%2o5k3_r\ + -tӑ ~iE:+֍a\}4cZSɣ"!,ˤ,C#= Kԥ7?߯8=P`}_b7;' n >k ?c]#_Y=6XԷQL?FNA3ƒ9c; zb~Yf"{.J)n5 ?*,тĄ1if)QR:!JWhirf1SoPfH) NSƶ*yKSGXz-VL Ra۲lq:rEoك0x' Oja_ƊbfK aa]xB[ix'Ŏ`6CH^rA0,U~Սlk?-:pGˤq;"̿װNӟy`#'F%=Y(b2]>4**g£q`P[g?HD;״bm "v"v%W zŵ=9 &|"RFw97DpENA긑;eK=?YIg(eG/*ܜ}=mso!V_$ǖODE""ySSqgeYo7hCf7ԥ%B,r#8Zh6sw>KPqؑYGd tHw2-5kRaHz7_YCN۹gܣDQ BR:*ƪ~nGFDj//Q늾1=e;% jLU,9u@ M<󢔴Pi(ӼxLc2E/>v.6b{*{xb{:߮߉V?Ǚle ٚ݉hy'ljɬ%@c+! v}5Ol!9{x /ycѡ>.= &ZGb2wFxBkhgѭOgUI( !gXIb6 (%4'8(i41}σTx*:he)(A4u5_qfp6BP^VY,0_^6W闩ȽpS$| ߻nMTn<ځV~e(e%xik&`_ šQ6-ZW}wSτl!}Op1cGgXG,(P []~MAuxyR(2uM)In*-NqӒs&zr+޳3;)dţq+^cAt#~S Q/Mm2$m[mMJ=qQyH=>2n!ѥә@#Ri:[6;N]bK&^֓udRͲhUs j<m6\o.Z'+K@j5hrq?[Aۼ$̃8I jre!]j ͌]~&9VLӪBR)0mAeBv6UhW{SPKL6 E|a.جeO 1~kp{k;n<ʈ5l&y "̪Er DH^}C2J?T^ǔ DSt$R{> ,-u4='^4bISX"\cVPK@ -~;7t>|ZOHBVQʤ63; 1 /TeI-NhuXFG"[m Dh@,xYDs5$13LϤmp:ӥo1x+q?dZ⡮2 ͞[ЩMRKfEt;m7g|`zjݳ=ʯ2(6%T6,44^|^vy:XdC;C^mjn#Ze(f1C:87fAwDM(q:'ٷ9 *wA--JKrf 3RhhOa,@>x1V/t& YZ