texlive-ebproof-8:svn44392-23.oe1 >  A anW^^f% bǺ>jrFS}@%) ƀI}:CWl5hz;YU =![%[3pHpzt֯5eH/lCj ?mo;)?*QyrKFtg\D̶> GRo"3y9HBp:xFz1.2_c?S0榓 ܇(4xkWm?w绹ƞHlX1b5a0f27d67f74bfa9212610d775d48143d8ef88042aaff8fb3cdb885b4b9a845ec811fef9fac098c31698074781b99f145b2c88b=anW^^faWJ%HhD ji>zmR>IMD ˇXYwWIT X C.s%q8xCs=\Us78=^)?tӨO%.Ic [D4-2'O3HٌvgKݺNB]|6 RI-Ռ*SkWi'߲! E 1๾U /y:3xmOqBI3mi׏pEVYT4T>p= P? @d$ ( WCXa v    \ `p(89:~FGH(I8X<YH\d]t^b8c#defltuvz <Ctexlive-ebproofsvn4439223.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.a`obs-worker-0020UopenEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤ahQ3a`Y5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-2018-23.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_^$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 initobs-worker-0020 1640980622201820188:svn44392-23.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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textXq)cXE*+uutf-8720f4bed03027067c431170ed3c18c9cd2c81f449559520db261a860c3fb750d?07zXZ !#,S/] b2u jӫ`(y-7g?ȊM5I:8Y.#lԻB>}L˪ J $ Hz~!& HkTrL*`q onYZ>qzj/΍]BK 2sB`D 9(vX7bZʗd>AZ eHD 0uS!e! vueGTZ`GAU1h!!Q K0* c~ zjNjv T0]P}. grl"Gӳ(*a8m/ݨkJ*#lxxQ@9J9p-J#ɜ쪰,¼1GC|&3ukscح-)6`ڧɤ$JB^J{G?rv+~yܯlfD7Vأ|֭Wu4ڞD$'pNFzSoi62Z-ǥH堞V46Q K;i73ƹfEd,^fu.TkErTmooVmeg#\ms @mGr')R-FpXO7/ qot =d6ukM`ٹ;&'uQ0$ә`uycLy>zM50)5IOpR)9#ql0DK0^\7y mf[zp?exx nJQ8xpDFVf(5KԀU|)5w*ّ[ד!3[&0aVsw.7T"5Rك9=5kOI1T5h{4췧L<{s ɋ{>Cv?/b*.Q(C1Ec j{=M?FYT8K; Nhqx2CL{W4! D7C&/nJ*xlXBi$)K?7O7T;n7/(TzM_lvAӆ_Gթ.%֟5]k+H!cUD۔ UxjJmX5^&]"=KsS>7e~yx ƌ-dq9X^hdԅ"; AkףNfɂz A)K&ieنFE1CGP^ e-|BȊe?n~ {?iG}`[Ҕ독;MC60)"v|#|-ww|U41_Oy$g ~dcc"J:XV `YUA mV5bjzM<,vks< KVlr Zj|d)~:'JByԋ.Aɉ0jI*2qTAzOoe1b \s~>?N7DK]|"S[qj⻟+ d ɋb{əHGh}I:s5ȉތx 6+v 4@Nw8W'rG2"w%Bzp/0I5=0x ZKt<5~NӘ7?/-ϑfUձ˖i? rX ɂ)5^7XB6WKcyalOkލ4YߪoIz>Ojgg#&vZB~?3 eלգYVyS=WU=a0hAv{z~q( ̃_ldx-~e=5>8ݬ6杁);x` &3; &_] 'z0@GwD.g%c=AU4#?!g*??0 (/=LY-Z1KFΟD2:4%h7;|*fw\ +:~~Ka *4mY]< HVb[zD%o2VZOE+`[ ,.1L?.|U}n( DMvy;hȋEps 6 JWP!ؠ,6:=<?;9F sj)e#2_"2ϣãӥqd8){i"-ao{Z9+xDI F2"΁;UHQ_`yIާ#/F*c X4G4{??S 8^F_L;dQ]<hh)39Es+'DLZuSP. ^<#\%Y10̻aCLЕlb.I3 ~T4[n,~|ƻp*T"Kr܍!AwdLĸWLˋKb`75JiF32IK^$cE\*o?wESw7H0p<`jЧ3>lZ,KvRuŶ!UȬ4 dXVhf*L:܂a4;q`̆G͌#TFo?Tj$T7.[)-/Si!Xm{?HԡBiDdR {]"M} 7U[+@}#&<ƙWQ%W5hɉI߭V*%׿.j˦HA(Z4 kTдzY3ņL<*yEnP>?E~a\ñ`2wQڳ 6֙|O4N#r(o4צ\nc{s7aBۛk,E zj3#ir{F>DJ\~O&\vuJHo8 vP\VBSVԵ fLTL6^"CBT!QIoZB⻱yPްGh;Pbwns+(<Ϥg ?x7gzrvVՠm%8CX&3@"Y _t"A *~Wo9|Bfݺmv dfؙHZ| ,~ia'cl7b~lb֓AT).<-+j nm+=[|b.t~@*僰6AFt |ۚ-<(LbsTYX/hm":ί;BMl xZUji8e 쯙rD!{<>2]Z2$Djm8bpVKx9j$_.D In否SJvZ֢)mn(mua}Lj^ {gJ̹.tGDefy-J]a<=6a!_za@BA{QD܈ 2|3ԿyibVb6 E}{\ ?\u[D/|1FVܶ+H'.ZWV:;8>Tt*r) Z7o852TBpŽcb:}VƊr̺iDo$rf؀&y]k&`^X7.LQ٪Dm-bZe^%PBf7I2 J4`;ā{ɪta/ g"8Ly%O=pF{CLߒDzі%$E)<gW!`2*VJ#`',Iw O!~/7`LAw(9^d ^lBasüCSԢi  O{رѻa+J♒To]Uv3#\2[ G#?c4y4}NT87crʈ9_0xAt[`I3DʘKZ 3hr̪[޿IbxP^4FM P,PI-QF(Rub4\US@MRÃsxV}Ҍdg#}B3}ߝmuXro9;˼@ Z8ʄ!'|(B`n%{P d2ohO#oi1Le \,;0gHH 3P7U~3RMR/lYs #CiݵH$qLEs:%ӫ=.[`)6c=>mB@ |˫N I֙Qfj\hA7k?'Y ;\(Uj ӇgjwƜl ]?q;ᄤX74\CA:c̷'!QeC;2>W<}ybA)y?$% ćOPzrs1i}'&ʍ.=ۜ͒KRLi"h* -dQF9@ "->1FܶmF5}G))5vaq=VVށPOrPVOib?|U(7/P5QZf,R?]2}7=\g;D*h`P<5֢ۍt~9jDTX8r OIH]wEq+1Ah ,/ۥ:8 @~+e$B,Wg }mx݇>{&.;2wP y)g62)g((Z''j)ϝM!`fd_lV^D$eTYD?l#Uꍪ@^@>⵻f2jj?ZY͜(p5;sUdƟТ4W!<|D]>Փְ4YúhjQi5[?](2oP_gjVs81#RK'Q\B9!-IRk67Rg! r5;a2?s*=7%)oAқ;hVy#9<~fq vñj¬!p`~b1r\0bh]Z'D5ا5_ِ51(}Oߓ3eq?@v`Y~~zCĦC]RT0f9+4ڵPK F{V?oμ@uLt\V'@Jt"%_*->rhXCl1^iSm/"8:كSjdٝIݙCeM,ueƩnN}FKٮ&kgP4nh:vcxHgr27) b 2$5%)ԞZehAv' XeT 7x&lc,#*\~2mt paP8 OMX7Sj<5pૌˣa1JWC%"Tү3!9"=tMOAۋ,htG[-B"WxD)h.*#ؙ~#Ri Úcttd$n;{z F6Blh~^'6'+K3 Ns}{{mZSAOKU1.Z9FL!h]=/Aa,xe.A7͖UL֍ԾjѹcJT#XiX=BARf[m]UR%@2 JL9 Tr&F(_:N >g 2뇃7e{&Ht e^ !-]J[LxIRAa~MATtNd|Ҁ[<_tH%TQÜ6C8bg_i'`+mDK㬣? |w3iٝ]-SlxQ>|?3^ 9*}Mcw3#_Oy$-[ſ5r/,?.#k]Xw@EJbFmYtw+hRf5 >M SR4f,79@p0UDi{XU7v`7O=l\'N&ca|.(&Pq+7Tx=Ҭv4Se-ԅ 5D(/. )h٨mPk|eKp=QI-3 A1 )x%Qw83#V,%-!&p)s ƖؙQZeJk!!8ϨZ([yZ:"Ix9.`)==Bwg>qOC`4`j[Bb'hSʅg&.um{lۈр{-<]SϪN:ԧ\9P86={ (,0B.Y%wl4/΢ i.Du,M3ӲN[ERhsB0~Hcu6 Q^c,T$6 ·? 2PI0#${z3BeA ef`a{Z}@tCkLe#H"RdBSZEjnvW`XkIz|LXȡoacQl*K5Mβm◫OdH(<ԾvO>&Z_^{Zh{TԪ7>t$io7)rASsdI Ē +\ܝ>n&l:_Js.EvdmfkV 26tp3k^lu ~Ӽrs"4L|(R|)M.$c"4"1 xw`hX[sN3Wvn֎>(ЄwA U{d;͘4Xjdarٞu'3)c%ׁ* _ - C;+yptיkBOg͘(3eHݎQWc(Y#iCFǽrA:wz9%AG %1/: =y.&n#|mIܰUrwղ .y9'z@\]g+.hZŮ@9 $ʷ*:|E:`lUv"b+% <}IK 5;`)DG[nk%mZq0\XX+3r5WULQmnuNi1RAdݶ|FѡOF̷t}-{!zX Q B 3cVj\lVF]"0V^ٟaٰ^M굏䛵(yA1JA>9Dxq9斑${V{ňb<[2J\2[sH59Fكų! J+»!3Gt|o#AkQhB.S慎z/@5Qg }WJ2X7 '#ȿZٕa40]DMB;%Qٝ.4*2hVs6R' O᝔}n3iX(ThY0&-\H,XehHݺ [h*ږ%FiҝS}%u*0m VEJX#SpH;U15&a4~(-͚3)h.TB(phc 59+!RوyDctI~j!uE~{9mozRqU@@B_E/&]&>4ޔeN _EPv- lLbJ~tZzOK :ZqFc=y7 gηEgJIw-ȇL"~'lGFob`:V$L0G|HrfwLF4IدԮ"!W-8v: $!e0k]6q۸S<,r 9ء=C8jk*q٥{!?jOK1?x;G{Dۢ5;YVsJVf9  B_M".}gy;UssrU&SҪmjTd#qrt"5)O\hd -=ty_acdtoepv8n뤈`c i[IhUHŹ6҅n^5<7j3BDŦ6MMy0%xf_@"s*\>dYU$r{G3zηl4޳>H ұ9"!pJ0f ?[27DE{jR`G& &fs/a>ca&Phƃ]^M#]2/÷Q9NJK+I&ȢAВN{y}j|O'~z>͍> 2 b:~ Rm"e 8!|^W~̝Veq {{CU<nQeh5[N ihbg0 ^׳Zݦ[ΨF~|iaQANsg" 'dXnμ8vDΞӘVSsX(}폫ieYG4?Xgw$:r/̬7bX?tLwaXCc)O 4Œ9&4d2nם;BXxlBvtރ 49ƢXh51͚3ٓ'UF+w6Ũܮᨴ^5kHE"  a>bh¢e|*F~kܓShhᾞ̑)ySjh9ɲ 7RHBJ$px9ń_u3q?9Dv+"׀ :sٌՊpt P?Ua<PIx"`CM侣mgF =̢li@ C4A1A66]+56]b$ V'UeRAq hvWoO&d<-*T;9q/(ua 1\=zpAiv:YXoJG5{?ԀV(0)(_ <`!z8-Zp[p d+~JgQBW9N`]Qé%tvh8g_i}̍lźK([Cr=2/ZBC* _>{}LfЙAb[ux|=c džz<9\uH$\SefP*%"7};o?)AI9t|}ahЬbqq:8c-RmQ&.\A<{F_\3.XJ|$l >yd3