texlive-ebproof-8:svn44392-24.oe2203 >  A bDGK$fQ| 1Q&uSw2]} OiK3 @k8Cw`Jhz6+7'c D3R؆cwY)oVYQ@T6Yi5ΐݏ‹9r,cvu|=38ga %'/@]_}y͟yZqĿ DcQ[OiN%2Pب߉Ji_t '\+̶80ط7i,ʣ123201a58a59a1f14c3105883a1c3f4fdd482271a77018e4129a971112301622aadb580e260e6e3997631a91b25573fd73b96fa7>)bDGK$f`dvzrx8;00N'rD%DWҵptؓ: |P#7[{Χ÷hYN2HIm>vWip;^y @hxXB+$=,]pk\iT>#\ԉ'H!AR8@Ҳ*lb4O=%λ* oX!_O[Ttc@ډ {6#|fGTk1[R,rvw[PL1?9,w4jT>p> ? d( , [ AV_ t    \ `p (89:FIGhHxIXY\]^bcwdefltu v z 1 D H N  Ctexlive-ebproofsvn4439224.oe2203Formal proofs in the style of sequent calculusThis package provides commands to typeset proof trees in the style of sequent calculus and related systems. The commands allow for writing inferences with any number of premises and alignment of successive formulas on an arbitrary point. Various options allow complete control over spacing, styles of inference rules, placement of labels, etc. The package requires pgfkeys (from the PGF/TikZ bundle) for the option system.b<oerv-obs-worker-01UopenEuler:22.03 / openEuler_2203http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤bAQ3b - 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-01 1654537244201820188:svn44392-24.oe2203texlive-ebprooflppl1.3.txtebproofebproof.sty/usr/share/licenses//usr/share/licenses/texlive-ebproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/ebproof/-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/9eb601c7ec1b1a1bb71c924f313c22c5-texlive-split-hcpioxz2noarch-openEuler-linux-gnudirectoryASCII text#Y; Pc#utf-821f23b0ad640c39eef97b39bd0322b6f15271dc355f0fdb446f4e8f930ac2562d10e037a94b9cca37dcd983abe9623e168af88b39f87903205a238b607a883ad? 7zXZ !#,S/] b2u jӫ`(y-6ط`}/(? .#U.R-gοshA'wtdKu WWo彍eӹȓn*v} i]yuso` ?G+gNu]F!Ct88|PPXGlܯ)9e6`_LfRdPڴ8AH*>GA2a ;ʑ.#`Kh^9۫]d|-P ~Ns#(Kp°FKcxy-noC8ru{[wBZHD?mQU/\q[eG6In`PQH['6nʶccS32$LdHg9(d$h_lR܅vRDo6̱AQ%ީ 4ו72:pK>vPX w4Ty}!\d;]Kp0~e" Q/`: $#fV/\;lκ~1NMU7|8`OQy?M;4c\dt5<PK_}7D\w44a?6eUaK{mD<13 m[2TRb 9'5sdW*R7/B?Kv\[~;.<DcB-9qrNîJ?#u"ޒ s3q΄25#D}_G^!vrM/U]~3R$?JtV/S; %UĺU]܅-`@-7Q+mֵ 0BH_o꾂An)rA<^P8㽂Æu=a2j`³~spzQ:.@iC3<{QnX3jUM3/s!%@"S.£Rї.?ѥѴ'c4%5oK({5>O6@sp)%h\GBHBfoL]~%z%<L[HVJ3ưconJ>D1: 7O5_/t;ܓPtczw-YuD>@Gt @}o&u+:"o(_+9@7~-ܽ,lo]KK-k@fuGF@c WEuƭS#[Q15;w&bT\qO$Nf IP,,Ty 4ď .X@ІP^gMAXi g`0`ݻ~lL|!Pnɖs: 4n+:6'-E@BMÎ,u0xG9Yohm|kg~-kki`M>fc:%NqD^!{D?N!pph۝ㅌ4*ͫ9 bV'qx` }AC4w}j[0*P(Q|]YɒN٫QeBA`U@, zs`#Gd0m^8M49aB-=S0EQAPMu%(M\xbI9&V9霽@Ş/ho:M)[!{nvlGq7uƐ@pXR#pdHݫ/QϩҶa#{u=5@0RDw:nIJ6PqEͼ8mAY^DV׫` d7 zًv "XpTʂ)gQ+IE-h<ܠ}/2}Lgo~`^9NJ0Q>.iGr2WvzGrC-h96P.GbKvBjm4![@l|h>y'W 鎅71a 0ڈdgC#*@#-?PA2$t)`Ft:ƒ›Jl'̅tlCdê69KWLYwP$eu<lIMXcWqGɀ~a Elaܭ # .=ZN 5t3@"!ĕ|#)UwJ(ޖ&<C (o)MA=4iА1dKjN<^I3l~ r&c?kW" ]S @+u\*OA>VPvh. һ8ܿRS66ehX1G#*zMN16rtTjB4zxD66ܒvUӉ0H`ZbMbLƹ:'uC}pf+c7{-6,X3\ZE;'2!m^D"wLnS\Mmodb7~~n,*ϼz,:e+C iŽ/-  KbI9r/:Ԝ`D(: `Df myZTil CB| oF* $C᭽?j0$5@xIϺnhcI6xX7ks=VDdv28"r 붟s<)#e,.OEMZA@?ؑKlt3Y_Kt4ga[N6nFrcЋ%8όssEiȏhGrJU,\vz4Zt[vp<BB`΅ɽ3b|-cOAP쑘Ʒ: .hXx@2FmDדhd2>oEih7tTK"mOH~C㬣j7ިgn,ÿ"BaJlI] *v+wC ^B/5>|[+Navti+R(6R t.A PU_A:2(PzVP6~| ϥ%$v<ջ rMgo/n=N.8͌r/+jiQ]JWYt-2b-2#A!sWw}7?E0>U`хy'ր3NbYzO=F[_orŠfR9| {54aSGUl%a?cv}:? /9p\P(FPQ?)DeǃOy< v4kדz=VA{&wy x[u7ٝrPR GISCaqS$%|QvW(Wp\o J\BD)2*IXe$:xԊn)@%l+J QyV@1` eZ3e$/Bބ!Y}mўJ>5~6lWk5%8k1nӊ 8^Iwzt_':WK"x'ֻ_$a΅ ~>e0?5@8b٣W$"K~jwcȈR̥#?&N)qԷ̖mTצ]c`Q `nvNyA#i.nc *f۠I:I~r vזV˥B{K ޓ~$c=u8 s2e4;oKL栎Ao:j"kiuz+5F_Ea~)q}ʸA\< v\jAB5jg-e/ә޵4؋gtaΕ䘠QC]ƴiG>Hh.ۼԱLt]aqɬ0L!re0ՆaL%1,a;ts-RUJ9α; YH?OaR~@k4d 6J(ɹV;:/&tsf4]g& @o翎fxQ2aqb΅Po'f@ ,IfL1RP/#c뙆eW_c$4W@>BԆ,DXZ1Il2qp&LwKd86JQGIIw=Ud=9~\b/Yl[YB6M˾Do`xЏq>"#%ԫ/4͊JuHe(3+?N;giRud,ml?"sNFr{/=ʵO5umUy[[Zf}㱱vr|wQǸRuW:I,S6)-ueGK1Tqz  % mRxZ34Wbv,hu-4E_ Ni\s XQ2 l/2g8 g$D|ĨhUbif_BC|!¼F򪰆Ng>rن}PytHcn=LUe  3F(ʢ`RRg.%@z"q/YP4=OvSd[eg\Ŏڀ$dMߏrd#fk V$q[4?:Dnzg\{$/|zg1Dg;ގBWCF^l>2JإWKu_95,Лל$)>8: ǩJasg~a f$jS ހFR5/"zZ:]om,A[F%~10GCeMJDg9 {j"A%O-&B9:jݏn|*C% "zKbGqPxjGW}GP@EҚO$Xu hW<̺[vs2&rWCd>A [vźtЀӐEqudG7?G]~j)6ʞŨ ZIbZ15F:zWFs ]OC9l qhj(J79vFzt +~# Yg|>UIh6>㒩'9In٭kŝ+`Pm VO*Ї/@zeA\ f5]O#މ Hi 9wvVŋH],f6[[;;:k\ ) b<5# pm+g~ӛrh r<1f4o@JgUeY9gmb\̵Sֲ~;ÇV4&Cqf4x旱| Gw_Q5T+(BE_:-*͈b"u`+F'/uؿ?شBY3S,7Ò59Bf']!>zZA_M.;N|jxu1zFBU>YTrg FtF"/ 툌5v59K.rK8[^AxJTHo]iVAzm*^̱3~o{{a}^Y-H1͇ Dv~4n^\ƪM$:2cV:G}]ϠETg˝]awIg#_[l|eQ 7mwm/( ŨG:aQ[",u4`]VpFtoIvcVjg%{vhόNAӭ#8_}8k~\ IVW1 q.1^ۡO[1 #qyjZ84׆~ x\3̂eN̜+ #+sJg~]]gnBs]iRXa쩁%s͜p?S{V.k./P4K Pr$3ʗE!*R{h5b6O>|̐AĤ =ԃJ_# 3]= V'{NP՜QB{^pEOZes.섭7Ԝ/Z#S8/2N Pi'ib[kǑe2 BUS7)iFݨ7\kq8-K笡}SPGll8+uՙuH h(0k s*{-[9| }mK:li <f7RoPvyxv!;P~!m VY.bIBd_/*.4l E:x6QMq,6-.p3U;KˋeM2|bnsw'5خßDFQkUk?r]dͱ{9Q9m9@!Ȗ_!ku[3Lı(?_AošJ8n\(.%DhhPZAUl%Wg{g~=Pw*)VF\ $i#g4'+-trYB `-JO؀Mވ0d6\1iVF;}=cgg$U]bW[E+761JoPGįQaE9p%DCk_*C/ja`3e٣-|ֽs掽nPv mFv_DokdxV饖`XP5GpP g[k3r.y貑ʥBV?byĺtMTd5njmɄZWy%m( {hh TFbԞ.< 93,bVB\g $Ōis)UN l64#ƻb2nZoz{QQUΏ\TǃL]fIk-3]1"ҏ)uKL(xcM1HjLBYa>i0Gגv+g]eԼȿ "ݙXU4VƔD`tYm7Ȑz`O9r XFNQCw282YT!@Kx92~L}+oݴ/M#Hi.)2,u'g0inbhK5FÞEY<0;O (mx_)":@!K#Y0(=9Q?ZhJ<-)9oem ]]j ʰ .ov8Huj'עciq68uIvBGq,{.68ƷkiC4 rWok1O'-kiE@B{``Oki aOg5l0gPF_٘}?҅_YR]sT- D9MІẓ}͘:#h28` ѭ YZ