texlive-ebproof-8:svn44392-23.oe1 >  A ag;W^^fWH)ZoDmk M,\C[@9p( I&-拉[<-ae&!Nݘ`qvv˔ٮT[DW_r˅.kxź50(ւRp= l? \d$ ( WF[d y    ` dt(89:FG H0I@XDYP\l]|^b@c@defltuvz    XCtexlive-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`pecs-obsworker-0002UopenEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤adrQ3a`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 initecs-obsworker-0002 1640980592201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII text\?ZK6=#LCutf-80d734cb1985dbae6c11f0c0eda97c0c4dc2887ecc9409d5e08632f3799781106?07zXZ !#,S/] b2u jӫ`(y-7g>*U> `R9kWT 5Dqtf?*[j8fwV跐ri_0rK_Б#WVxt[mCgw Q+A5cw`x(]׏+aG.WMlz+=Sas*0d8YOWɣ旵E\q+.s{vQ~ 80 I o0v/_ȒtхBH v'`k@*|KKfduArWna)-Hσ~y_ DW sT=x&F+BV&7ܢǡp0j}+f%}t;: ΎMa|c?#cATX#4w̎d1JLlɈ pNTPGn ?6:&xPlAp;`i{#8SnMcl٠dU?|`QkDM=Nem. dmӧ=w2X}пu n] o{̓a=pv^)Зje>-K Dj K֫QjeЉ\3pT e?S|Q9J;NGՉjv΂˼Vi(]gk 0im!ٳVb֡NB3d)LL<7tԇ@C+P^Б. ^OЯs 2~P*)?5 PKf5Odͼ:br>8ՕcgD729[\hcN*8,Av_?>6!UYsZBXż~)uhg0N|) Ũ" A>/-!ݤm*XeT!Q̂:9*U%'r ѠDAiM"{\82%Kؒ{F?KS݈JkhEK_V 9Y\{VNۤ<^6z1 3Ų@K^j`"#&-; &יt8[J]7gEc|=IA.? ?*_aiT&&*4lOr7r .$_5_-B}5)wr_1(BPZ ȏ~ŏh(sd B LJλpZ6Y|ҡFo^zL1Vgo ' r:p1MnUM=safu4iؿ#P"3WrG˾ۏJQԍ3oH.a_'0 ur(+ajh`m#LOwE#W _%Jk զ3R-M{LfN߮l厢 AzYfG5^ٷCh;7PY"n5Ӵd:wpZUh;M 5&Ǽ߆__ "U3WۘPh՗811 [LdW%E;,}O?8~%M7,ɘ'gvD6b[3_oh(GvAHǬs5 /R{rd}ڠcw"[.}l}M7bx]:䀟C -5FŘX/w";*Fݹ}^ TbhlٳۍHNq6 JF&u#/[T4+9쪻O| 5Y؆s,^p7[r"Ģe*o " I)YQBE*BBBk5}|4~k"}(P0ҳX gsZe;]o6=`9: _4Q;rLCuFO e0Q:)^-lPIo-<ьp5 N'rcBq|V]+יTykV/Y uhZr74Zv߽6ΔwHY Mt'Ͻ#YigI_C$K@}Zs6c!GSzvkQB7_G`BΙDWSXNwD&͑)e5p%Z1hG* 6* |_dħ0(]9K4$I.5i2]^.ǁN[ۿO4>\wbHQTFrw^Q ɟ8 "$Z"W0`]0| wqq_[W1a ڋ1m.%/B p2La kF1g9s+!~UX՜oQ BIq\ᐊ$#yg,_ N#H#-N"eI) ?vNe\#7pz :Π(D։w&AR-£8٦B7goOKXuw1plǙpnlq+lYh)] $޵Ѭ0,+-L)uՅ/B%~YћeQ5i;#z$MXjV(ӗ^A7.DG0mR28<=Ǎ%Cv)\U}G8M=-iU&z:5u?X+C>- Ap>lFtl5qE}R G?`1#^!S!Nb挡p 6q2V˔ b{wo}< 5Ow =?%9w ?z0x%g&qyS(BIv~ rյ2{z$:ܼ 7l>!^k5^50U1v9 1=涥 A} 2++E+[L; &k[$xP']^ %yr un`NG1IoTC\46 `H1b}u Y/D;sg)MxU2bHWc*Nin'YO<sEPBxcߟ7u+ïW2ݡX=mh| ktGX.N.`+AU!{d ;6B6;2 (5~^|O>Yd1 }i mL,ap,;0[*1R[Z1ȯL) P s up\e/%e91 ,#JǎCpdک&'ҋ2x^μ8Laypr79n.?pGPSR eۚ+-O<`CLPA/}b o6^TZ-k5q͒d#J"Ks߻Q=9_(f͞FNͬuK >.Nv{GwN$o)JRf jZ y ~H$hPxAyz_os?CAt,s{uHrh&yQ]I>? UYEivC2𕑺>q)(yc^X_ +cT(.\?Ŏ;ʥ+Vl5/s5AGaX^-4Vxu瀲7aHøSV͠0A"/J+ItUF|/P9 GLW0gmFIWĨŇg$:_MDݤً;l}%tRp?j8Wm8 >Bu֣Olm !9쫢+71^R_2!tsnZBdRdDPd^=Bc[]Y?8rsI\zݫ/A}clXRqm ^ lUK8ԙr\@t0w͎ѽF( &~0N$8DZHI4/0Tů%[ 7ߘU#=2%-ɦ'Z4QaֆѝHl[._rHT`3^3a@M*ȔbrQ63$uY|`]HQ3 77r}qBXJoX3F5tr5?d|>4?W5..C8[\41\6Dlrm`:c1`K%96DqЖ* 2Xo 6} x3p8&[r.df/s )ixZq4#CGb}]-2夾qU97CԒ hNj);Nl8v8OHݡb1â;t˴+` :ؔSjQ-bqȤ=5n k}GOT~:1e&7((/_I_ t #x>O9RTs,u(SK4>UnbLjbRrWgFgޕ5g2(ͤ_9Vw_>XEotZݤ+[MS8ܬ`jll?5az=j:~hέ. J M/\,f0 /y͋fA'O]G <&-ivg%"ܖ%==r}p kI LOBWCbR|ܨfd EQem{ߢِ;ߣL3ذy*~5pCx!+U%饛o0W;翞ahLV#6C8(C!hˡ좍p"pKyѧ ;{2G<}XQ-_nLxY쯩oZx 4<o%2n!c9wYyXxEmTEfU,x G/(oƜsk D:DY×v 9~_7 _h~mPʤ .h&t#aګ&ǧ0_W:6ٔz|-MmmC)`->s0}Z SGodhM.e~XbFNG4'czi E!0BWKF  H \mߕ[2Yp#: . +-fKƣw%@"6*Y>O3D$9Z&o`t Y:dD5M4`< wɹViLł>Ld@4!#kevslg pgyT-tO76C>8#n')u2)(]IiP\|);RWٻ>ai|N5Ào PP~0;1ǏetN̠(/=wLMP{UU=rAwMR|L@9#?DU=ˋ* H'[ϥAizc PԓnJ9p ?2=]Z{k&ÐsVXY6VQQf-i `7A; ,YUXMefAvj?$ J`i3JceVƙ}~E`>aAM>!of]?âQHg{hc2K8 ex cT3_px?3rM^wcA4j2WeJV8&8Z{n u׺ =llB%aSD |6a%L msߦcf䙷FqAJOKf>Aq!wnTZWWkC_1\?O &Jʠ=E0Cʎ-w B#ݪJbnꔳY&+ c[GLit?݄t\[[;;I۩VAK$L~Ӏڤ%C[ k~oT~< Q9__r]| WGg&m=&"g܌H:Se ۭ62(!23 5B[B(L3 XWC3K1D7g[rHXR14I"y#wOeog@_xr8,aBkQ5q::C[ǥ*п [w]ASB~O¾~HӔe)K-S$:;yF8'*RV94w7ntJ\+|#宊._g`4M;U^k'Auk(j*啺H+wR#`NuQd$h.ģPD)bS"u 0ɉ?JCWREJ+p4= XN$i2lan==E>Hw*{="}{5W3?xQsGx: MFƧR巘޸w}B{ml u!-46\/SJU51x}uO0;,On#PZcHdHQalXo8j_LY#ϵ 8yR_I<~=7P()K u砩lO}L r  g:ԟ.v.I!;DjQ!s 1t[e1.dsqTɾR̵g<ȁ=cZ4tɰ$tYvP,x.b?ȧ셍0 R6nd [=eSs#5o55G(@ W5q;VP|IlB DE[F5̅Ja,P“!6nJ1|QdNitj$3iVK~1qfks # N[0kpS /o ѭzM8V}̀qs/N0c 8ߠ1c|ܹ;8jpkRۘW]tW(k6JZ.H=<ﶂwk$-ÔXU3 )p'3Ot2-ޱAqH^! @+#u)ػ[MnVB%W l:ZZwGl{mHc=$PTOX1OaGCqIƌ3c~pO06 [?9Y2}378/Lff}D@31}v5St&wq  k9˼o?魃)"[Ù/x.pG),O%X[l9ٓ2akcpF6w8x9`os)4cǩdݘk먕IzTl'Npw^>xUǐEi I>ިLӨoB׌{#vH 73eP\2/ $*Zᛂ5; Fnt"qJDDL8ܷEpt) Zhϱq:i1,˻vUBo乵 iV#wFVYzj9l*WCAaUKt$U4DR5CĐwzMj(\AB_ȆC:`t[MSY:^AniQlNla U#!:iY]>Q,< dd|Jz zAwI0#i$ebX^9CnWtyJYlҤ뱇i"IY:r %~'Ȯ1V L(Z}-tp $gwƫuZ4Zrr/N6GI yʆ)N2G x4$cqeS5s 4@``ؚad.g_|g V5 5*czO9,ZC`wiE#-)FEf89$ , G(>`otnqNY࢛,G2426FӞƅ2Wʝ'oC -',\KMZ~Ǒ&۷,Z_I֛$0e:dRRQNTpZb_Ҡ0R_8~pMMzyLg ह-x@qt(i:0zYڝ|3z]l}RDtـ8  ϚJ,IL Z),m 02hJw#*}c"X[#/:AS^)+6^*4$Eǵi3ݳ`F&Kx81+?G$M*mg sNFߛX6ko&[TKXPgBG(0aJo+?q5shq`M8Ft-WPpS.uiE8{HdhF:O]|lهo5V3Xr^WgpS ҏ4∷YO3X]/{wT0v \P;mIMw_Fڬ" wC&ɝORkUpG-q-JkդD e(UH,B֓ѴÝ}6Ry>.^>+ mM(?6B+ի3I l̮iy?VX.Q]c]s ΋e_78v>*ېRuw7 V {JeA4X:U[F$ 4%k{әhj T`=˰0h)k"49 8D+{t[5s}ui1W䓒Z0QCh@YLZTWG5L o8q5M_I6m8 .y[ zVexm~xƒKkW8!ظk7'*5AS2߆/G+PW'2ScWIJ/g9q7s5鶐L*`PXS&[*F F#5보{^ VoYYaAYƟK9 &d-eR`w7""sh5ލٞ4#Ke'QX-o7#FpYf6 S:brf68܋2yRQA}ELeCRc:* =h; +bk#9 4`pe YZ