texlive-ebproof-8:svn44392-24.oe2203sp40>    fQa ;G|`u`  >IT^:2L[oui[-27nT+Qg>AzeB*Z;R3ng] /u4÷_$Il&)? >l[7&j|7H `S "IdA#'h.+R'buHq&oT!: ,we(.keK`Rm 7RzB}}n_R8*\ܰ"E{e֘ۨF.F]A*p{mfuEt5{M~F UHǚR14MN+,ۘO'Z}U5ͫreTBܕ.4|&dXr u7< rs;$ܾEMc681034d15b6f70705634b35de8058326750f1b60a51f39146017e46ac77b832b3aebbad9a1cfb49cf3ca564349046207596723d9=:$[X4(b>; m? ]d( , [ ) >Jbhp    $ (8L`(89:FG4HDITXXYd\]^b\d\eafdlftuvz  Ctexlive-ebproofsvn4439224.oe2203sp4Formal 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.fQaXdc-64g.compass-ciULPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤fQa~Q3fQa\Y5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-split-h-2018-24.oe2203sp4.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.17.0`_[f^$D]maminjie - 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 initdc-64g.compass-ci 1716609368201820188:svn44392-24.oe2203sp4texlive-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 cpioxz2noarch-openEuler-linux-gnudirectoryASCII text.|kg,Eutf-8462950bd84c71740a59d086d804da958c5e91c6ae958bbc068aa9e37bb07143eb95b692d7e81e67bed49755627cf6d81ef4d0049bf2f67e6ef5f967a76506bea?P7zXZ !#,S/] b2u jӫ`(y0tN'KFPX.cƹE!)J yhsgVɳrL6F<5^ec O,f hMur5|v5HF ӠԹbk`7 l kn3:0 휤2ku`_Fp'@:sMkbUT;tj)'2V DR𐻖}V^]3M5lةÇȭT^,t;cMmy\҇Z;f@cE3dYSˁO~K ߥϐ咨 tE o79r09PFZ٠ ÍyZ j,:tS%FF}WN@U;qc'&, P]3!6p1hv{lskrB+!!@A+j!&K0!R:ATbaejRLoGXӌo҄/^ТGC\J`y)a4\2lM0MC[9@Z~]tfϯP[7Ͷ\_G\nqlqT^KN=%A,M {P׌'T่M@~BqwS4I)>p%acP $mREdcs "(iXK1{ܧlO!qZ;h؎N]ϊ$ŏWe$dh{nGwHB '~w eA';3H%Qޠ2%cO#XdշS8C,ޡC?E aP]i{XǁmH(CSkKP k#^-ɱ w~A5|LYBt#H_gѪ^A:+7L CJ@7s$М-ۣK'#7V1^8%PM9BMDT)pŲ))+A N`n7͒sj(9L5=Rwhzn&8X^MsIj*gͯ7/ sC`גVM=vA}nFk<ڽD癐aU-<TPb^w4PoQk}lKw/4C엞|CJ y9s _ؓ{a{cȾ Xբ橠37}u-1At~=+#qxc~滄MQ&lW& 40 a*8K8,"jONmaqFH YdG{p\H*Dtpd_\:"~+~ rnmA 5 2y{ce\?jmMynCܿݗ6}c [ެ.I@,OBp 1Wf11&}8GR\E&9HGcxNP P \ûik]/Nƹ ]0k;H 6ʣ!n.RBpD~$:y ggD֝c8ʫH?rB ^%PpBfV?^Ȫ.viOz9R"11xDNJLyٝ8~hᗲJM.9u1`.10' ot6u@ʦ(Hk]ZD`?ea[䘒Fo);3߷X\w8 >r7q 8|%9U!,g1a#H]~ ^nQT-XޠC- (cxqjKO5*27xP:ILF`ߔ^dkweUPIBffju6B9~UaWI"0e/8Dr^zBU5^J*} >I6UprP$ "ٺNJ l,qJ2xGFsH; cRzJ!\:ߟ \1-=CWbGt;l6E271i^k#q)եUBʏ܄I <Ͱԓ-VvpI++BJC/"K~|f]gNJkQ:G vf|$!?g/!]2q=•SU4>Q;7#06FL퍀;#5oA{AR.a |6P^ ˠːm^/V 4)WEC+'IIn E b$ZZq06k71.ē. v p@^Vv۪]ƅA? fpcZYe2֓GʤV+~0UװI?D"dݐPlt%nߟXENǾ%*DZ\?Lu3NTв4QMfPQ !WYו:lb~F'A𐰖 GwC,l}dt\, Sx52A)$\iA1~p]ajpT0n6E;Ѻ`\;H_ui9>}i*i{,2.?t~nsUN㟀 %4Q ywځmoՀR<Kpu_Sh<=^lہ(*tmؗ4.fg(.g#B \>X/se[6Ҩ*gJkY|@YfQ36|6r4U k %/8\pni>s";%?YbοN7O٩ii!hHfou81^ՌsR( wuj҂&RzX|90бT:KU!{'̔M*0֧'g( ֳٖR?7Jcsg]2ake䦧' j()RivܦJkOV?* ?b|Zc *U뢺F/SG(ν|Aoݨ549+8|쾢R!ToS7se=d2Qϻl\[w+7RtTې B.olk8RW>l}4 _lp0˽?gGuDXLP`C><θtpN8TQS|M#y-et=性kL//4Im|M%2l'vmAfQB8Eam%P|gcisRլ=X{^~ %Q{~Ţ#bs7˽Q)_XX%=Vm+]iUF25NAES3O'-$@Am7#ɍKβbZO`{n|@زyGH,XvܤZ*涰Ƣhzs}P$jh`VR/jܒ,?9,GB ڝ-߸)ֽ܉׭a, y<wWM <|[OʘCVɧ甃M"Гl/'VXfmuwIM3XB |~?=>,}ődΛ"%[*]a*T1)<+֢188Doz1L"7$q+S.zKs1`y>.v6쑳KO~Ja-r!uh"fEj>Kae7 cC8~_hҗ*Cx4fX֬ɋc P,hHKV8}SŬ&>w͵I#|t +=/7*U8Fʕ+eܩPfH@/UDǵ)weXa9fAhx->[af1e//?yb➣aU!sz ª:X^LR@FV04Ih^; RBR*4}X|a>r] O ̐uŪr I $4|7fb4[O.Q B{X>ک/ -űN w7I4[vDgj@Yl}YťL/5qC @f0"gE˧,udŜyL$'t,7s}7|\.TRȁyTӘ~02o%jXɾcVpqY8g!e@~J=qj,F}TtlXr>x`!K`Aߠr>'Bz} PRYQll*ۮ% JnG~/&v}Mi7FL@qs+T]f 1.d9kg(eigr;ZK2D̾N o8mp`t){k% uʭ~MؔW<$P*]_WY=QFQ_d6*b5oAz54dʄMM)-ޮ?A%C[2_el3_2%7勆B!NmܥVo 9 ݞOp<0af[!)&UJj[gԚlءRsMmVK:نJHۍ@ljGCzu3P}_۰!6HR宾7+KǣvIZ^4K{H" L׌4@UNP5}$?ʡKJPp>jbK_p=g7nJ !6#`Y=N{׿,9R%T %Ix?!ϿPwoLD!Fꂀox1-n3Soh03E0ytyZQDz'ɓ-$wUy \" 6jW챤W[W8 sin,EME4d3=2يJS+uLpjγ5uq!6C4Du3_EvȤ l!C *88Z k6E?3G/׮ޕ3VӭL臟:Bٓyzs:fFU̞#<=d(16W-RH>tNV pV^Gl @[AUV,u''_Q 8{/tKz_ŴX}[p:1:J5W=$ Bp+Yx,qՑ~>Z]ːVU}kֱ''xn ,îKZk-^ z:M̍i4.%>iå\sK>< ;_ űNmP:MB7ـH~Vc%9 AL}%g琾"f% 🾾3뢚}%C,{ k(!(&tH U[~NY$5KXu"lƮ$/ 䂓4GFKUUL,n#\'\߱`CFŷAMZݑnl~TfIocu D+K\PS+N$lA;ש8.FnQs1lp)[>"&wؼ>Vg%VZu |jRCY]tʔm TE:KDĤL]1o N #h0_*W=r=TL<%j}K=2S(Gm!BjP –]lJ"AV׊+]jWK'kO+}TleQ(%g8i~>@\Z0S0l>Ӊ_oJ r.nI{x.?-OӘe=񅑚crg;fX8SU&~IHM %v9lR35T ϋM̞?gu`">7{B\.3*G>Inѹwj8vI;XEh,mzW R?X\ytTJPf0Z~ٝqAD7l7 TZM<H5b Ai>,tv [ u5czeib6nͱ4tn6A\{;K܏9WQF@z P D''5d>s^<=WnsI#فG!iU\4v%KBڬ6H;.qjO^~-QjۏqW-9Ƽ7kGLJiJZ`]{Ћጎ@ > ɯG9r**F).3%A߫3Y`W[ߖɱ5ᦽJ}5ո˘';1G&4x//&s`4|=-8QМ<y'd" hگ蔲ل-AV^d xf'z,spݦE{Zw}6$l:W4Cs6^8,\ Cqc.p@L#&X f$4V,s BG*K{b}uW6r42jR,JfTM&ЉߍB_ BWRy=iGPk nml5xIń=2?~swd @/ _QI f3` r" GA̘Ձ4Dž4tOM4pYt8֕g3:vطNrOF5 _6(>2H7qL1͔j,oQxVkHC=$D9K0X5^0Q ^ 8`E#uOf,w* >dd&+IRPn0]Ξg/cQ3a4*x~CH ȵcyGq O6crcC1DG]tޏQ/VC. YbfYрqKUuqTksB%ttIp0J|r%( #Vqwnʐf1 88{%k?= 4+m9zAE:01gap!(vy2 }\/>k[@DRbr3`-A rōY[ʄxF\*rL D 5-V!|Pv'sk_#8?#R|B$|0>h|-x.Ma="V>Xhb ےZ})mQAk>ufKdĭ%_~'CzU4X4"Lr nn/GD噮g~7+oےi =;3 5 X1 1SQr)yiX'àlN':yBD|(QhVZ?#̉;c8J{yۢ0ɛ ^?gʵRA2.St5l'̴tԖ>A7( Y/UNgTk+~1܁kY Ϸ $Y]59 _sb95| 9A#eͶi63 &WKK@mo~|*Kp%cDGMn|5SѝOE >$K-8WTk0UȸZ/k!CRe1QXE1/)pMCbDO.ΨfLrgIh:qQ'Xfϑ3G_#j3ݩ&P3 A4Y`K0"f,A/IĚun.InzZ<1cDIppx%I n@^ /r_7f"q]):fM􏖪oT_SȺ'EaWX7ّ `Xצ7-Q@pdlCw6$+vk60_*z2r="WYME^ֻ5G3h}.V"  ;`ư1E>#h=^ \0*r.̰@ku0KBVg 2fN\-Uzep\h$m"r16A6oIInwV?bɡ3y(P0Ĉ;/O$":o^ HQx ¦Ź!/lHK7- ,|T[i-~{IuV'mMI/g_zvPk`pe YZ