texlive-ebproof-8:svn44392-24.oe2003sp4>  <@PT@7!.ܶujG7oedXopeneuler@compass-ci.com G7o&P ˦Y{#/8]4'H80hx#fҫ3ϭOfi$XO?%v%Ts=h֍u*C-TM'n29&D>oBi2Qq] [5M?R)pDžy< ,7p9a"]9Vs&g8HS"i)7W|/7u*ڈ "&vzY2u/zE1%S%]Sfo[ϒY X^BƧ#=hf}蛤l؎\KDwY1M[L/XW!@%z<_^|/K{d|f"f{c9)x4Iϓ$%f`˞A>YFC 9N=Jc6b254d3ba4bc159a1ec7a66efbbc840408fe496394f751bb6e81b8aebb8694823f43c78c7e91db547ebae87ee59787e2c5bb931=r;1{T>: ? d( , [ ) >Jbhp    $ (8L`(89:FGHIXY\]^4bdefltu v z % 8 < B Ctexlive-ebproofsvn4439224.oe2003sp4Formal 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.ed%dc-64g.compass-ciULPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤edQ3edY5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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 initdc-64g.compass-ci 1701095205201820188:svn44392-24.oe2003sp4texlive-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 textH~'K,+utf-80f7fb73fc8c50d96a8ad3d88458a9229b8c50a6cf3c2eafa4e50ca6b21050360?`7zXZ !#,S/] b2u jӫ`(y/۱̍8y ϙb7~zG0nPa`oC8!ӧ&V /' dR! 5z = h#[;4N*CUPToUBŋv687C ħPU J'.L`B²WCOx=zW2==~}{p7q!j?K7Xy2}u=냃ƈDjCVO&wpxߌ'1&zT+݉|zו CSRblt\] Kʊ ӕla($xm+mNJS!0{UH;UhCM;7B#[ 6D Jk\`$j+7H[-oQ+Ye L0cSk[o%ITvvZl~! ,43k#gak.e=GnnuN zRS~I]7+zPT@Ih-l.WX:? B'3>>UDx]˧! X(2L~i9J3Bf 3^g84RÅLN'O)Weu\gZ`t2^e*mfœT6aIeٕaQ# v=$*ƫo:@!qEӓadWk_gxϦ*,cppQ o~MHZk."AOpdm/͔0gj٫uEC 7쬑c5x7Q1מ2D^V2։][~-:_W %6a@MkKCt e-,,.oQ H݊(.ZȺCaD2j&u=\ chMQ*zdF!+Q"ʒc,Dۯ P\ q@ҏ M GYhh!GyJD$9Ep#n/O@E>a z=yٵmP4_ysF\E&&.1ٓ΢cY:>hTO=mPF>n:TĤ#NPw[Equcc>fXʞ>‘9`ӗQr]P-Cisv<$'nEG024_qQlQI;`dU>viIe]P g)*UW䒒"scyn<(3Ww1^LDI@ qF5nS*DV4 7G(UZXK0bxG"䗝 Xu@Jk *dG^z*96X~x@l!U:mMd2`H̼~{lwi)߯ɥ`ύu#+s'ݝHnw;hXi+qzA=140?JbǗ_r[naY J ~^>̜ nmzf4ˉq-݄璯q"]luJLu.\jz$,>t5\_ј?hԺ.5e@ T&E8<'~!=r7éDqtڮ.J%/C_aQvߠq"b\_ˎ|t$Q1UQ-zԕV>Q>@0?1q2VCiYo]q>-NWo|XtհyS:lT0rp(Rǯ?f} JEm?ӆ L|ׯ*6b5ӹ,9m'_hMѽЁ2h!<Ju MeMڿ]3wKKvȌ*jϣ%.@Lv : ,UH$ocT<1ޞ,'`J,UJA"6π+;cQ[j#@K_Wa#oRS{bpywJDV1{X ;G\LdxIo+E57TK`Tϖ4Y`2)x+|f^΁@+LIb&z9^uUKd`-)tH'MG|7a^^D7l]mE=(TQF6CLe~&'CjR{$Ymϐe5MC*9w+crgcv{$/yFN`ns s\ټ~γz%7NAHGYYk@(Gpwv[]+W91ie\޵9spZg㨹OA:3ɱK.:Yv-HCgy2i_sPЊ7X$m3$}Kxn+ݷq$zY|¶, wvK'1!4idL1ˠ?GQoWv.0 2to0Mnۺ=]*F4J%`;uԱ Խ{om C=GceO3ZZIpPW1s@k3j!Vfl)ϔ&v ׳T(=+B xY`Io“WH;?]IV>Gcu[F[=#1>>9(بk/%V,]*% %t*b0(`Xw~vHI D 'e DB/V|S|U.jM/(Hٰ)aSpʼn%PJZe,||DHΙZ:\x.6EKI M][Mvޯ% I֬m`5VμhՆ;u UIPq,E3Y:!pYMRwb-^~ U `h#0ӨmE}͕%k?:KNvno@w0dfh14F dASEŧ.vFΛc?GAyY<6A V =pJ2y_xgq *c2$>}|}N0 RѦ$kw* R d % $\]a3f^S?& (H+ W%Xɷ.Y4(px#t#Yޮ^ 0(sGZz|(# roD$4GQ9H| ( AhA.؀l1loAcׯGc17e+M/JIM"?s>UHpk<($ZQ#ދ ڿ6#eE軳fތ}4噵oI3(%!&r=lԱ#9wr7Y ~~gŵC\hQ[K4i^6;,N'|N!--H* _ kK4<!Xn5ņIPq97NmOI=l3eC |U՚ z}wPɃ:@Q I@P$I|ˉUo {uz3u:@s7T! QE0=_A !yԈ_,6PJELyY4Sj;Xn`G^Nnl_Qi]nL~^Qj!YeO%qDOM ASI6nZNPINN0Hoaa$GW%1if\@-cصz 6UG9Gj3r ^+mVDfgxLو GNP {ڏ8qF*﹘l)xw9~Qzϙ}&mo:BUm#H*g~0!dOntՇD},k2P@(Cp\%0(aڥ_a½6 m[rX $/u|2^ +[^bTyFOW aj6Q{YAO6KC$x4i1 uN!Y2$މx~"n-Jų)Se?j)Cu1>ʿ2Hos Ppڐ3\v CzTr5NPQ.HWNP?-u ; N'Tѝ>gc37nwj "[`̦gNFeSB*X4|̞3shӘ<~BS &osg>${vş/pb#^p"wweK/[$*9+֐ֹ ?O|[Q OmwJObI3B $k; [n|LNſYj@%N-I+Q#Hx?5UKO ~Հ{' \E#Tq۶.o7Y?BF9]`$qlqDMhΣ*uȤ|taB*PVQY ,/&G s}@ΑmweNFy 'PG;([idр+[ܻa?T-| ^e|ť:d,MG]EГb#? >|7}d/_@Y ŏ[7JF e:#p\t︃c\dgtW'Qxp"&T5ef*]m!e(i*yo# `\euߪVw/x1GfL|ya%⩰%J;}AL0C\댰; $A'"g=\|bEQL~3+ r%x6" $Sb !ZZ"^I7Qi/~( I*lrV6\N@m-=2@LpcZ\%KV*L9bhJwۑetYKĠ+>/u22**gסΠ% "Lt -9,g d%ŸMý@T0%"H6rٙGFH`Sz4FEX'WC,;ޛng\B\R ț @{1ipFֶLy{{uW1A!P\^++ i% m s?͘__M- c~T| m9f+%nK$\!x>-=_T]5:{]xyaQ+F!0_#%n2-|^ŧsY"䤴 Zmr΍R!+"c~|Zfw=suRy<*ëz1-wD%֨hl[( U4E p U'1NU^DGEdP mOCv0>'+wZ`xG47#Jj~~T)qeqK%? Er6TL*ct bM9!'bo;v8^U e^#w2?|3|s=vcl9B-UD7iZA:zK."c{P}&DΛjNOhj%שּ}9(e-Eخ5ͦ ;Ⳍr@p\YlZUZ=ZBF98ms+*@TrmNy Ps#Aήg]DT*6mHt|'GCH]CLYzJ48TsDӢD/8eSw0MoM(e?羣 .a|[L젓åZ~iITyZ}*ffP_`\30; -/^A!Գ,ٷ-|%WSG'26w2y)|!-+#UE!;~.ιi$$r!+Wb6ɏm$NwE svt`@ܸR v6te-o)?,yɾ873l 6k|v˜fo.D9X5~%润l"g2w>OTՈ4R(G?(PHҮjCK|Ojh^h[*eb'…J`Gt| z~tmmUjaLF 4E |$W[<Sgӿ>_/wa^ݘ;@ kCbӾ{x]b37U2gМ/ qûamݑ2꫑:6'/g, ޗ; IJ1&yShrX ([j@}.b݂<Dh]FEXH8w2ICk'Qpxʫ'sQu*MMFgj~;K^Fcp6y Pkjlt`žQ<#OtoQ cG֌MFh0e;zS'im0˅L`@Ej1Hk/@޶{凕Gu-{w]ҏb)w sݻ.j0y $F Br'@,_죆w8EԎqa8,t&H+vT8|7Bpg?٨k($uˊ;VV52|yzE± w?,%(}oD=%I1,Cd*ꂭa u\%N3`)**OMM7.R./XAŗ}WDb0BcDڳ4+8XD"^rۢ۰7@I+4z RͧeH5],.W7 r!Â0=VE&Fj:orj8C۸9<NB.9?7y&.x/IǪg^ $ K?RE-*= aLXr%ℐ]7 L_^M "jNmRvT,am٠~ AF >ei#pQu6Rlgn,4J5xII?02O %>í$nm̦L0 rhYv|^RpB(\f4V} t7ၯS^U렌:gv6*Q5^+[4mx~ߨ)8yCpm글%ߋNnv4~8:BX\7ERtPi3` c5JpS0FE[jYtET5 s,s| \\_P~/xnrP  đ~#{M ^]P3;bs r[LBI"Rfa5=gRE楚Øl6\"TEL=l},՟HF VEԪ )}&LKj= rL\07@HHW&U ™AiP$$J. '$oW\t*s/1< uawʋc^Ŕx&*YW8~ve줸 d S#R$Z׈/S|/dnTdN PFYIKW1L)ϱ-Y,j eƏJFӒ=Y;^QƉxcF㩪ǽybd:ffs&Ux{?>VϔLh_qAqָF*lF^Ɍ(٦:wQ$,]M%G'1 T"h4z=1as,Tj?} vb`CD)9LS/@mT;Hê7x"~#9H{ϔWa+[?fY7vOHC}=wwURӈXD o}#ouʋ(9Ж s*qB )$9tg7LBtM9 (cŒ )`S[aBƆ2mQ4x<#S:6AƳ8ōC`7.dZ\P"h  IZMQA|i?BH`(HM aŃhڹ8(vOl>ਊ4|WiE[ɤpB[z5[=֋IZtЧ0*"v؟j[v^_b3wQ@;y3 >Mֶ`/[Wlmԙd/Fp~7-n9h׽,mHzeiDIWoJG1%wme[$T[\Vи@ڤCc+xaQQaK^FE_+eh%uLh&|-Y;KFDd+e(aN?}Iġ=A\#O,n :KQm;tYrgJ@m;fص7.#ej4R䤷ZtTpd3ȼL J W[cLIoa I pbFtEʃ 3uX0R=LL"J9olxB q