texlive-ebproof-8:svn44392-24.oe1 >  A `W^^fpVynVntEX^|6i߳clĀMMO'Ž!Bt[bV[{]JOrO,{<)ڍQtUB~ϳy@YU6XC@=-谝h %:GpL3(2-9uU^d^ViԈ*k.\(jAtD?~5lWPIJ'Mt`Z1*F~;QD fTBؿsAb125178b1380678c2aab449b41c18d32a025441527a76b83d770da58f74e92f73bed4f44c73ed40c9dc93272fb5696e96df5965e>T`W^^f/V/8a ȁ ACk ji  :*a?[iwЕxY CB}/,A:V9( 0 m5\ ;NBL#ύvUV15e! ACPO;x,A"?p Q "sKYLX'r!` g pp= ? d$ ( WF[d y    ` dt(89:FGHIXY\ ]0^`bcd Se Xf [l ]t xu v z     Ctexlive-ebproofsvn4439224.oe1Formal 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.`ecs-obsworker-0003UopenEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤`rQ3`Y5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-2018-24.oe1.src.rpmtex(ebproof.sty)tex-ebprooftexlive-ebproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(pgfkeys.sty)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 initecs-obsworker-0003 1621920393201820188:svn44392-24.oe1texlive-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII text3bX,utf-89e7cad09fd05d1d1d48de224c796bf3be6e58470bfdc020dfa661d0e77429cc0?07zXZ !#,S/] b2u jӫ`(y,w;/[iߺWbqI)@>Z[]ջ-e(`H;#Vuh۶6jiNPU 0!&iQ}RFQv|FFrBjyQs@)Qc=%g3vEH 3}s*]Q9ѼK,](~YQ>a3}:ztF=ݍ~٤+sڀjB.G{5t-t%0n~ 韆'a.4=9E"|w^)կ@ﭛ$ _~M$JDN n\ n[)%Eڝ2$H$p.[ 22ڽ3_X6Qdծ{=cEP1 UZqFE( wWx,Si"l/|ÎyTGǔH^ٵ[3Mh ^rΦp\[GP܏}xXC2`>]炍w' S$d^⋅NTHr @r! ڨ )-Xk;oU:qKh?2;O=Y=W3HRkLrߎ 3Z)Q0F_Z5ߨ Tywhn`hq֑lO디/*t9y@0eCIp%57(o=1, !>5/ [qEF+Tjl,x-ͼw:~ pg_ij>Trwfd~ A%dahe\ )J0'<}kS xZ75ŵpl t)m2G[k؃@}j:Gi< ;.j-h% xg6MEػ}'z&!Fn|MusAtz"PQEDu˓)3DvͤDaUA^O`R !z;* 6W|_3`>5p|) (v,v\X6!0sS^/06C=Y)Xt*X;~rq5p}zf4lyncu,y88$u^C}`ڹM6VD/Ow@e͎]hG)1i SH$v)Zϣ7dFyH Q;݄Tp80%63S8!&TQ83c}lBe; }@a:^Ktd|RQ9:K[5ޜ?6jԠe=N۱*r"gT(tqC(㪂w -9wU;#FbuQ)3hdeOJӶ߁;6Wr)=DQ(Oj랾޻ {$]|9L?J&LCUA41/pg={v{iOt,Q#&3\[_a*X"֬! kޒ+^º4q3vd0eid) +Ŀ:sAM6t6tPbt5a}:exu:M  uylDS7O 8=DySl4I4%VGG h]6JBXB[QJArT\~ X8 L)cfpGjbFsj wOP:LQ@U@Byp^yӖ>zdÁKmٲ[z#gs9R 0E3U5O\c+"UaBi$WWKTI]ڒF=Wǫi^`neA#uk$\3Q-3Z;CL4hҩ*>- B/COUbii`碬.rv9mFk`qlfbHF(?? ?̶j16n&:k" ?Lb]G]:^tl} c qmqB! TM>Vs;D/T#o7YlNry([,u{RZyP4M^X{`Z&Am txr5+5䂀j  0%I3%a\R*& /BK:V# ;_\k >xbFJPe+h:Qr,K|\V7,Ĕ>1;ُ)KR99 _zI/q"muST '(0-I4*p0] 6,OOl6vڵM_[Ng?c!g\ObjB- jC#O)sV:x驏[?7PVEgv56gtFia&m-ҢP*dLjb|Y8$z8lǀS`#uXeޟ6mbκexO}"jHɗ#pE8՚žS֚~w5_K|f?iB{Ć\8TK!OWswi5_"m U1e?,Ȝ,4l/ 7GC+z\?K4N:%pSpW,؟oDKzcct_2D??M$-mmeT#Upͳ߳c;i#~"#.*<6D4יwQYB Va_­ًPޮ<]*4 jrgYNdpj3+xKm(|9y(px+k*ĩ , )blB0r֕oa*;70gOofI&ѹ0G zrP?@qv-iQBhdN5{ p45eU)CÊ3$RGz,_-ʶ5 "sd+]vG*L0p#*7_U`+rX7^`˜HT 2uTbٍZܹ(h'GCHj]>Xw\|6_9{{:zy>(ui_')ҿ$MNe΅Hb$熿v9J6&PPU VKҘ6TC[hW z/4?뢎o:.d,w+ H,L(̧[֞-YߢLdjfxG(LiK q~=5ev0sD'XJ(e?9h52#_GI Z6yƹE1#eߐ;4S{\DN-kzҲ-LZ ה|_dVU0Ǟ $ҊLn .x_?~1!{vް&#tTӝFjS{$1jy V#89GB8j° Py[_sZ2θ`?=5Θ_5^+qQjcV}-)ՋŦ>.k1>k z:[@tW•3lY>~4VCd-<^bLW&? (g2O1rxA{%; xf/by쪭L)|Ю]gwl(!ĜLpZ5rf[׆:ˆcQ9(?c,:$tC?WG]DLw~I@ *0ѯ&b~m=j$@EtuKm *;`/S;>g5C3:;4`f =FE!*;8}̕+Vo;nA d ɖvY5S)?K;ID@˟)Z|PꞨd]I7X3$ɢy\ƚ%B=.߅-;q46_^8bdKΩ˦<Ex P1p*RBDyMT9b/]VX0t} `, "ⱻt3+zW|162 {d'B%ft[9n{µ7k'6P]e>v-&6*8b*92\3\w pw1A+`N0)o/b"]/h1@41-OGJLE~7HZ·Ԗ4b nmTA"(k7Hxv2lJsw64Oz:+e†5AX3Č5$0"koʹ60;.n˿ +bĥO=vSJ:1߳}1ht(k<,,OMR+ˇ< ^Gy]Q1Xuw<u[at06b>54}ڣadї= REdֿ^dr;'7 O8K]JHlHN}]IPJoD$yE6aΤ8<,wAp59{uqivuط&K*(qwRTNO[Jo@&ܨ$fu]%Ӭ{ 90x mDm~4$@), ,Ē'O'] |ضl pafNd'IF?HG֝v e"Tz<rwO02s( XQ1c̆&1D >AS!d[C$=c!֛v\L:hGҊ MHj%qOr@6as Aҭ@8~+Hr[gH|xN<2OpR5wjP(~oN3}dž_x_-$m̉#ء{#}])uST!@ݷH.'r;{ G!>ޒe G݂2dHw#k{fY3)Idڹɂ!$&+ZT4U 6A?ARkT/.Պ??Z8'[qIIb PޑZ*O\%@,lvÖb!!& &YC#孕.EY?NN}SxTH_7pg&D&t>֫rpOAP|Hs+X`˗CF7 3wn8ÊCm-nfӑC :"Eub9t$G:"ҹ9';tEOg_VYS@DxLbI<W2 uߺ-f{弐f wQVvBy9GHĖc2TW;$q3sT3=XC3l~3.2T+Oo=^x+$)4q zGE18x\Ԭ?[$x*v>A>qN&& (%مd #^2#֙{.WQ}E8Пx Eqdb9ljJ1l܋-R2Y_J1-jc'M5Wki҈u0Wf2QK)=…@V;AU?zT^0.?d3 A"<C>5Eu3/zX}Q)`vEBMMvʽc8݀.O(zbX'\uZ-&q]n1,{(,38$&= ۵T(/2eǔ e}&0 gM^q@l O#;dKS!*' BXh. "C$q~jG%єP˟G(Rĉb ^cR,w+4opŲP] Z G}2wIHֆY|9,SaV6\BY̽Dd_)GzYr^GY$#׍gdKL 70?۬/Kg^xm 2F%R@ހn|8r9ƙI )xt 1^,@uۍX#.$[~=A> ~;B%<(af5{E+SsF1>c{ydH_ 4߇9x]1t"+ cqtPZ1,jz GfeF)ye tQ&޺a *젎*KY½-`P:kJ]~#ێcKa B,Eo.1(P^2/j}h"0ӻL2ekesqcE9ѩiDZnkz-+< >8Wmp M'`wPj`7>aԯ 8M{ ˢ¥8l$ AYT3'9o;_ӈ(nwJ@ 3R <|uP9o>JJޗ\J&6F)zEc@[v7#F̃'3'm|s& pc1st\1zAvLSCy?Jor>8t.ŽagNs^L|%OK 5܀$ޏq[2Q浸hf댘  =3儏.A:?/% A:P\ɁG>6:n,O v)18fR<ڝ~~ uA2p;wԌҷJz/S:/*뷈baeFvM])p%Fe#s)Km/j<~4 R+ "WѬ(+s`sh| 몜f:'sCf)ѝk@yɥ|M+E%O^,EH1b3AOç0ğ'\L N-M0_e3EC489jC}[|% j_Al?#e>Q>}#f^(ĽPϢo&f-3%#_%>^kǃ֗,2yiʂLX<ǂzEΊ?ġԘj>N\壀k?<#|yŝLh5FB1ejҮCҴ5PXM4f,l}H*_{/C@zv*ǻ[Aşb-$ѲxϿV:W^PH>ny$m K@k?gV|LSC xyZ^4'"H}'sTYX~m6?7"bC/.mZ0[6t_(ayU~T`N?:(76 8J=D^h\Eӄ'k 6+m]u')yEOF?8y"hQ1'">Ռ`"bSR~EZPAS:nzQs~R4I{`ƤDo>f% [,)ڑ]Fe 1X KC@>Pz%Ϛr Jmʿow\ ,G >HHп:`tC`b߃wRk &!x5]MO¥vWFm64I |VA02l?ztzR[s7B#.Zn32=2ɗ_eʃppe&oз= =ǵRгtC ^U';*2w.AWb K;8(lb}uf:+ ?ziLbBIkXXDbwsXU'+xǵ* 5#sB陾/K*;_f4b`,|Z=>u0 .xTQѨ굽\mn$ü NЀ2qz41L8p=>SPr s2d6R[BycvI@ tX:]Ԝr{Ǒ{">%G!W.}y |ڙ1;u>KU'd}=uboVo4Tاo¶ҫ2ᳮ*nֈOƿEgB3Aԃ]Q`*Mrylr~ ?ݹSi3N%1)*m!dg,@S /&åni8a"{~wˈ;8FoxMNT), fݧ ooMs4բ\)O0Dڷ_!W3R-z'SNtߜ 8c1KyS >pk*a?sl` ѭ YZ