texlive-ebproof-8:svn44392-23.oe1 >  A _&W^^fy<0!߮ryiLzĊAvi&~ %i5KvO;,a P!EنKD]R /<T}]+%ih?򰮖ibXw׏N%kvhmK"( (@*_>avvx@tY28ZU5'l%䕗i8}e8XCO__. c#'hB}jTx?$Woɗȭ5d91251dc1f4a418c38461f714e357cf8470bd77f1f4ea2658e4fe39065122dc20a1b939199eacc46bb8acb347f9b58f28e0b95a=_&W^^f@eb$0a*Ux|`ÔwѳNGIHξ~5I=h|fsDXLglinGR.'jo vB`zR.uӥg#v2.xi3t, p#T{ܢcd12$fϥX!:nBa(ĂJɥa8 ~]{|sT^Df92 V0~ރ/VA06l,5e)c5Fd@oɴBnG:xsT>p= ? xd$ ( WF[d y    ` dt(89:FG H0I@XDYP\l]|^b@cYdefltuv z  ( , 2 tCtexlive-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._eecs-obsworker-0010UopenEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤_Q3_&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-0010 1607407973201820188: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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textZ:p_Sutf-8a106b8d305fa2c6db451201a9e887c6ac410bbd6c7a2f299b7b77c3f67d21e07?07zXZ !#,S/] b2u jӫ`(xy2A'hI> $(8՟'*N OXz/mT㸘ėܩͰޥǀ G[{F7xbH%֋m|a߹v+$N}? eQo>N LĘϡ1>+Lݴh. )|׽^x3a9&hZZ3?n4١{֒`>#jGjB{I$*t @ӟk0iov bMIa<dqTK0O0(< ZP?58'Ǖ/eJſ QfZ`(~I;EN5?PEEGg{%(gz86O& 9GIK%QlPH/ñ[9LE՟X<#RV'?y\,7tY?۞J%$8?_=^l8\=4ZAM3ٗ}l ~TlÏڮPjjЀA)R0}51!]4!S q]#/LJ .ϽX"$o֯!)$Ֆ]mjj y\9Qo"?r~uAz69e !݇mרt/LA]P-tAh~ }0''JlfmK1DVjư7яvjcɾ˜/ ,C>~-Ucu.ѱ`?f9y|Bf+f'>ڐU0Am(/0V%Qˆ/m昺aڅM ٲQmפU(Z/I/X.ƨ?quH WDݴ5q/ D.%Hsh&^ $2`-;uvτ:}UL۳F 2ڹc?/z)ǥG-^!U!{Epnt'Mq^\⧌C+Rf͓2 v n$V+KAy O .od츦7`ydL)(Vf(jwB?Jۊa.9ҼӎD%_y-PDma1n:\^jOM+RDD/5&7*ݞNW9 u0D@ER(*)o’Asc9QuǕ`Dˣe_LQd;B4cȼ]) 'k%66A]V~s1b-#Pˌ5/{+^&ʘLY@^3)bO2gd)ڟ9ڛy31t2FM,鞝ۑx \y҄T0t_*m{s˳%ohnβϜmF` 'ǹ$׆LI>fa ݳq֍UWP?sp^t4%pk9d/,L-'ɽى0X߳5$*C^wm`3n۞]MǶgkB\&)}M.Sy)%,d/{䘃pT Mm=p Puō (z<93-~n<kɆu݉&>To:{6 cfjqE8c!ryޘع],_&!H k Q/ր}m̘o^9d:44)oa4k"qnڃV4O  FX7V]%nAs#Ugjw 6qe>%Q DDb2 |]Jq`žP*6;5ڲ~4)f $ԨN-=mp;\JDmlQpu%Sv|"O-sv3*㤃&SLO_}=,sΚ\I:)BnVe'>8|)9FbO j-<ĐLT;s-SZkQCg8 g򝉷݁PYڕ!+^,v`P.coE2|[ȕH;Ybާ>.j \,c{ph]dN0#wfu{dN`cQ+UcV=VbMu({ϗ" oTR0L6XJǭʸ_-T*D%RJWH^Z'> ™*A]=Эt;b i!i_BS ?CFKt. )lGr7+.7ދ[8rl0KqHjX6@ ޓB0,?D*t-k5 \76oR>DS5V @G !{*Y<)BZy gu"AЧp4*bN3tF\6@έ 2)qrzMb@E\ɓ.jLttNV8@[zUk$X+pur6pH#zvK0CrP{lteUy,S&0Vސ.d!s^rv"U5x:*t?|rʇc][OT7vuL[jObe@(8X  : uVHK%A T )Ut3 \&/8E9փW?l?3mL }BgY4Bu" auͤ6~z.$c.}8SQ_;bp*jF >=JЫgn lQ>u-]_!|X9WxZv(LgϼvIđz~z4 $PRwmouKX5b>g=fjg06JR jBT6<?cV"Aa5@ٽ01̙?P~4h'B+^=pg!?! mTz lAu8a2q:i2GyE@ PۚvVNwb؁WBI"ՅQMQlړAو=&a<>V#7<>\˫N$=24͍6&ʁuUĒ!ۖ6D4Q|N MYpW Hf_}yܗ[Yrv0#$C 57TAn&2XFt,(MUu: 5B*- r|MP"b4VY;x $TiY^;f4YC@[T|LЎgQJ3]NӹUQ5~v<r]12犊$YduP!lr1G&`,4PoU栰cJ. hfeuBCEs-pl}8Lp{{PQaZ[tʪB'EZq8.>;-lOnԳ* 6(鈮(pfT>{-.( VO?4;H6T[lDSatuAȵ@ʋ6nȰ2+#jgcdfE(4C(h wQ~r~>Bl`;ds4߰&$J5*փy]}o(]. b?l$V&V;p.dx)N,AreJQ 7:50᝗hG0 ʫ2ŵ-  4\"lyԯ>aYJ5l@hZʲ7bɲa:cݔɐ[ÚDVY)U{5=oH|N*3o׊uNl6C3!/蚨R!iGFh,kBxԿ W#xt LsI߇ E;pc @?i< S䃣.`?Y>|awV4ZǼhJ A-oGGDFUy3t$`>!{v!Ayj$^{&=+?A E7`R%("3Ǔ/Z?p^m/,芈sz> dcP@,v98%=_ a;eqV// ~yud-vqg^Lq#|m7PKҗUnIo'bocg&]Ҍy"L[Ebu+W G| qꖸ{LB+ []U3].F͹ZCx4_؀܃JA:/p~g~$1߭3TǠ ε+,`y5P݂ڛhkH9-TLo Wkr,/vsfe xn6)9Xճhe̝ݜz<(|BfBቲV3ȴת6wK0 |.'{ 6OJsrScBB ʳ{_Y|0{ᚶsJJ0U1I%㘞}6>2r95 r%Yt? cުH*/1'GYB]wmn5`n VxdwJ&%}ft<9{#Ox|j4.4Kے}syDά=I/\,ja8T~nZ}O>w]bX+7@H'%JC=i!gfª]mwkg!7$h#׏m`ܾR^G򛵐jgmՑ ɺR=5~b#gZ+M}GIE% ͷhalg asSN8ߜ*ev{*K0uaefDкQk UeU?h'5"I}O# J]2H/q 7Ot~~|J1Λ%[05n(8w?}o>Bw0Po՟QD=9sEd@D28 Ee('pťa1k]>xQk9F OhЩZ ?k7Bagd v )(K5)/HM,aP xH.P6ję.*AbNuߞ OI|rP]*7FU3luuQ*$=wO7cSI,]}DRoHgRF%,M3ʅRݽŒ2v:%ӧnjͥ ;箤0B429Sg͊PHOb~,Gܿߓ:_(FQ',$!PB1aGj`Ty ĽNW| US9e&%,Y+@%H^7/)LF*4{=, ٿЪr^-B RaM0-(mc6H5z?7 2^)}c&pcڛă(,2TcNS#U@>e[t'|'O-rj.,>/+Um60`22;DG#cYiQ҆Ӱ1Qh.Kr}`l?1?,D^ ?ҹhnnhze`f6[j9P0UZl\>Ց 2]GLtK37%c- 7#oO$N9Gוiw>5wZkh37y 6uPd+Fc9qwQP.no>+7aeω4-WDDJEs_W:< ֎J͚썞gHL]>|>^RTAeDŽ[ʺX(ulKN- +l տ5y[+(|y˵`{͊$E)HN, )sԐ\y^ʓ`gOA~EKk294ƥ;Zl it.1#$-"%LWK8_aٓ ""4|FV(̥ BҲL F4(~%"`|2%i4 Tu;/+3)Y,-;WQj˭?qXm;Ŕ|ߕ)icqxN)5 SjQȂO:sgd03"2ɅaTL%BE[Kq:XxlM-6hჷr@X=g'1curm̅\GiYT6шȋX(1D+蹓 Pr 5aXe;AG؈ "^|Bd@,a0T#5 gsy+W,k@nF9HcD|B0SǸB"p,%2@9PͱFhܑSysuI6M1>A +Zd*O?y+SgFp=*|g"d2Gq/+kō:'yю$̧͋4;fQܟJ@dYy`B}iY?*R'cN[*T:Z5R=xA'z;91.ir6yT|; !fѓXRԭ*z\ܒ! H^ 2 \B. Eo9&x8>Cz$ xO4,CѨ2@^afgl3J\)|ε kGF@ :MʔB.ARr{JDH΂<8Lcx^:+s) |>5 }1I&mZkVzy$Sjj3 CR 8*z}Oװ%zrըCP3b#x8S-CVw~vTY<-2۫r"ݔ'@ ynBcn$mR~6sO p(37uenPh_.#[