texlive-ribbonproofs-8:svn31137.1.0-23.oe1 >  A _)bW^^fu~} A8; _vi ;ms;=`NE6=CslK>D8ZK#iwvV;[eoq,QmiBy/Dk&-Nn 9OX>*XCLbȺ|:T` jg-}5p++t%夒#ɸSGRABC6qRj IuХw#[mϛ ynyDG0`T&>p= ? td$, 0 Ftx  0 8 @ P  ,<x  x (89:BFGHIXY\0]@^bc6defltuvz  $ ( . pCtexlive-ribbonproofssvn31137.1.023.oe1Drawing ribbon proofsThe package provides a way to draw "ribbon proofs" in LaTeX. A ribbon proof is a diagrammatic representation of a mathematical proof that a computer program meets its specification. These diagrams are more human-readable, more scalable, and more easily modified than the corresponding textual proofs._eecs-obsworker-0010#openEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤_Q3_'X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbbedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1rootrootrootrootrootrootrootroottexlive-2018-23.oe1.src.rpmtex(ribbonproofs.sty)tex-ribbonproofstexlive-ribbonproofs    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(etextools.sty)tex(tikz.sty)tex(xcolor.sty)tex(xstring.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:svn31137.1.0-23.oe1texlive-ribbonproofslppl1.3.txtribbonproofsribbonproofs.sty/usr/share/licenses//usr/share/licenses/texlive-ribbonproofs//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/ribbonproofs/-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 textLaTeX auxiliary file, ASCII textZ:p_Sutf-828b6a719b918837b68e90678c95d544e32840dec1a90339d9a78df4eb9966063?07zXZ !#,&D] b2u jӫ`(xy2A(Zjl+:D5G`]_Gcb_{=adAy9}\_c8 SvR OW=*" gj Po)ndǛh\]E-r2xqHѐw!}a^kFPMY3IVu""d's>ЮްPmfe^2ll OZA?(sDu]yI8O-e UȠOiKrkFLV&9qm,hvjFa d3y.:~??P28EQ-|Id:߫o#Gr  `U]8jDY0ثCJPh1 kp93@) ՠg 8g o$QMnT/v۞~FT cXHyA]k%ʈ#)4%V@ju^s󩄭SK2kJ:RV7]+w>2~S Yִ;û)P^rL$謁2:Bk j-X1Tæ a-1dzhmv0_QVKƄ -.LGQ hIf 1+cDBԉp^Lh=s[9S߉8Yޙ},6쾡ֺ^9߶Rk_GbHR>QRsTRueu'ldRtq<ձTHwm_6`{w ұ2s!Ue%`빧, UtG?bƱxDj $T0 vh0Eh6!_hRz^;F sʖNPqHC( ;77ܹJ1 EV*:2RI9Ch8fXnŏt"(*"<$%MH~75=uqc!f/?+IVp[206֔c8nj^7%x_vk0L" U}PmP[nO_';X@)/y !ԋ;]u3`XYÍB)e:vopbgȥl+P)RDczkʒ|λ8uFlJaOf6{s! sV DѕBzTVwӢ鯿 ]2']"U8Ƭ7tL\v0Pf6KBQ*ɱ~0^+|f_nK^П2jCyoFq2aD1YQ8~Ԫ\نk!NZiPQdã0Ab"}'2-'Bu]흤ᮽ|xiȩDt4Ķ{_C0sq3aiΧDY(TM'-[SP}WµW?8Ѱ7߀2ⓆI(9&\7a2ѾtE]ٛnɕz8‘ՌIT ޤ5SiA{y1: `[Jo5[FȟɘA͐S,ghfBPHڗ.'l^,-.zsxw12ҹۑ@onBH:eKHO ꣱mD×; |4}x8Hc<ƫW:xcɌ2- ?8 E(Oi|SN;8),d 7샇6"w;!!.Nl4Ι!Zsͣ8=]'_>uܮ@vGAo[7|{<YO6"`b_%Puj:1_wHO%ORSB͕zJCp(ՉY8ͨfbypYcGy}۟>)fLhjDa0Qx6nC-SLXc0Ly~ }i4IlS^+F ܱFE&O~iOhFqlX"ͤ~!v,cN}'L;HYƴj&ȍK+ &{tH`zDAs}/g]ɘc糱uPZِ6s^sڦSl D{WdΝn'˰Đo \} Dۿ?hEL ~bƳP]'@hܬ-@x Ѥ_fk 16|!|c %u8KnUHmT[+ u~J$f0Z JEl4 ]C0jsAHVw*A, eEEh|ʈ*ö[$Uo#zkP!jY:D\b?8nY{7iAw]x~%P1&#.}/ 9p ^!mX" 4z 4<;(߆MGI&xo ֫:6PDT{n;ٗeM$G-qƗ*Υm;Ȏ!nA~94/4 'UX`40FCrD$Wym:}eWԒ*22^@l߳6%'d!bs5iɞ#f3ڡCxu|ꮶ,8~e]{".\>&DgPCKMNl7oi}4cN_x[$:+.VFlk~~2+>/2/'gN:,B엑'mz)fE}Ѥ`~#9Z?a}RYM}pc$v*+8dCsl땚s=Z6WNK=7Qg%LD,ƈ]_J)sSX#Wi"K ,3NGt>,+sTLFXUPS-|]&azlp̦s)Ot=ca˜$i@7."J[REsfn)ZWTծoDJ!aQHZ*MB+xD=՘q24`?.W͈Y>NDiӇgd* $sgr(^*F`goXc)TZFj5E*y\2"4U5ڲ.#I5nxC-" Ґyя8s$r+T [Q,(d mtħ&‚~4g=ڣXVcN/Ot1*݃Èg|QA y:יJ%rt޲K1>"c/xŴ289fb48֟M(mҧZ#,;/n #Sl:׎gcneA֤w[uI}+1C1ׂ=iJAC\I |DC6O3|VV6Ilh[ `7f;½rHpƖgі BHm9G&\ >UY֠!}>32FCDYeweBJۑɀy[wuƀ89EUfz_t|dz0"ʼ)jZ';M/p>m.l.]?;:YZV|8seXb<@E*c 1;D0$?m$M] ˯&no !'䲏91W)r'9ƞVb[/ry綵 ]{Q%nDx4}o[z$My4ʰi_Pɤ[3AkB5p}.F QTʏż)]&}{k #;.p<kDԵE d(i_0߼.E?Ӂdk߯oEd*vYh2Oy/qVw6 ]۴ɚ҈8F/ /L4Ln+p0i\竽.aj(&qm'm{ :tM;](rIje۲8*~(./R##tkUt3dUvߝox3L_~^%WC?3)Q H|f10ZV.`k=MU*(\(<C@7zby o5(.%ٌM<ཌkrq`ZqRyR+Nn nN`grH1Սm.!6Dh$K,Ͼ7~m5Pwkx1O^joE'eӖJ,~\ڼ=ƶ)bc;w^%{NV-vS0L Е>էP\ILuR=gʰšøׇ>G(yGL/1o߱@Gjtێ飾1M2-~19k/Vʅ}iC@+OAyЄ}'"I# 2vѳVQ̶F/\ZaG/^;=nﲈKTZ{qoRXKEOf$ |xA'fuz̏JyJDz:-+̢PÆ{$K2q{@ +y1P&ܵ_G\u:i7n)6I1.)>O!e!ev B 9 H Zgz|u&.HjLS+S+l)Sq8 GHpVh4^k4Б^b[C?X&(駚#kuL ՝I5s2v]YCۺy I 4wlڴ^g 2Q4/I|p Ƌy:OB* "cÿsq٩]s aOܭs$] "|i Ǹ$ؘ{>/R(a@rZ5cz^.4{z^uϑ;zT((R1 풊~8Z_5s-zcfj .AM D=` Rz\eArb4/*2\3Xu䢧(`ӧM6+5$+U_JsxERH~]רۺͶ;MX=3&!7=F)0G֪',UW `11*d LĦ5&,[a ՝'ڠ+lG]YHk9  Ԓ˴[GBl/#DSivZ֝ AAnP0#81t#B6%t`wS$pK|.$[WFȘ5Lr%HFK/<_3??xAVugM+jĒm4<@$^ $ucɌ3Q$;`?產(\r~fg|73iY;ovS0Ypⲅ |cqH9!⿝2)w.n6 lyV h9V?}hf;GRdt}# s&ߥ[^J.N*O,/iwjֳ5y,LB¿ddlZze?%7dJ ([gWMtqEuK'J`>`t&"4 3K(Hp 8>c):Sb=pb{˲ YHÛ&Ŧw]ҼU]@:HC wUxrAc B;%dSX ~6M/56֭wtb+CcVo_.&Yo{gbk͕6uuAO<m9Sӣ0zy.Œf\'\(͌Hmʛ5ki9z1ͱ3U_jݠJ5Z, { F g)BE=Zj}Rnݫ_OU$i̡f!U ~&g7Ar~_d Q\w -BNB%{2L([nZ?Vo]+"hlyX]zQ>lctk!rN.VUBFDlgf髧֚{e:o6zRX%/iG,x|e2D|җ}'>7_]Z ;iY{06)ݭMNVߘc7`M?nEedv(~ / 'X4G/\1|?;:pJŎ]" -|`mYr7 vRQ3 u+dZ+cpk;Wʴ˳,3dt EBmᎭ/qQal [Q=Yw E g[7``TOf'kf ~7* _p >}u ^ JGFtRaEه;W=)S^94VTϡ|b7h[lSÁz/lx`]b AjR$+M[g!;_l@K~ %CAi`KN?aR9HTwηmr/Jp7ePRuޞ pl5}2Oۢ>l',O[szttr;ACf3C~>aU\x#IJ`~$Jn˨c@¹UߣI,S mr۟Ѻ9d^X.NN<-^(q!g!GWh p5J|/Hixm0gˍM<5>5 k/"u7!0Y8jzpWzH_/( kJgJm{WEY@Xþ)A:R2;eXqI'Q=dznS9a\ m84YXhL!E4ZKKPg],ԉ9r݅XV}NcrwՂÔPNSZضw[un]dR=H[F@1-q@ y N@ojp_O?3TFZ{E] ih ::wӠgxzkSncY7==:D,GS_"kPrTSNmW@#QM#MVA+ ~-v)z 3[罾49z/:p]qSid22"ks{Ȫ:={QuY]vhxSxsR"mIrL(&}> F@-ji ' E&Ж/4"g2NZoÛkX{i\=5T ] +,G:1O,g{F\wG}?>g6#H8he3`DXʱɕWY9]2׵gΛ֡VLwd/ "F(-[bQY-(oƕJ'[- l|0K/HiÅ6 g XRvQABWivgrS թLF50#q;b̧z("|>|+F4˗7DpbZ\.ң/z(u>]Yz曒RjmAU*ƲNcofT`b#g먷!e򋞬HCY,vJx^P|D0ATpd2+Qj\:oRn2TE8/ `r|m[GϸbeO<9+PTEmEKwzIM.qXIG`;R /s{czv[-(d*ZTQdI!g̑Mk3>M%FG=PhG7Gnͼ>bJ {V֑sŖ1K-̏fSlNRڡp{FԮj6nbYhcȯ am[FJ6B-~yˏԅJD*;Ym^d`R5d8džte:i>~Y@bac"\K`3e/H1EȘ4#_Mi|,b![\T1Gϝ&ܐDYm݅\{﮻zXddSc 0QpQ'|:akStHKAgw^pZ%k|zjZ!|(R< TRĬd$& vVmgcgي4EJ8Mtڽ2 9wy4ku`1{4o'(p[ uжzm:X`T[:%`俿P=ܐW)s[%DBOA gEz]_`CchS͠VCQ4HjJqp,6Yd^Rd[ vx$D T rhTŧ9@SSȇd:p54dS] /b2aKhC )Tݴy|V` }ތ\ a>cmv 5c%9tA XF:ia Á TcC8u A*V 9 X9ޠlMVDųb:ܨ{Vi"x,y!a67lX0h 3%nQ8sUU,t[BVA;;K+mːTZml(}k'$q~| ~ZA3MUY="i+g98Oghϖ=ũi}VN5_T7O6BŲZ ^*cM!VnLIN3LJtᗹZ ־;Үÿs6{<-W0yӖEp[5R*v.ĵן.ߜ!="_Rۿ ~#/ϋ"'(al+Sd\cln(zriCrvZ,[Ha+=&MDfhȤA7e ׇ(qtii+t!ǼT;xSwJ1͈?[|ī:73 Zkz+Xc%l[$zWdHQc۪\:jO(d%>1S`ĦZ?iũR.4Z;X*HmPi՛UF0O5 v|d|Ev_<[oJo kO$2|P+$&ǧqwZ>GEk "-۱6?:<> LTq h/TMΑ兛Y!Txp;, xcu.tg$A8B.ʗJq&'=OzAwSxwoGw BS5Pn,'ſzg}G=>zRj4/<~w3O5I E2e̠DD&Z/5HlC2-sjfaDᭇQ6F6}*HwfsSוՌD*f=9K+7z,Ӣ@p8rlEk,Y"63̏m̈́8}58ER}Xlx-vDa9t{]ю \A6,{H3 C(ȯSӄ|`8 h߾s'x/񌛛e/Xa\(TJw؛{N0*K.\ۡ|&ufse mY{Ho/81p=bl? A~52Ma  ;!:'s.՘Sip*īfIH^N T:%[iul%j䦓!gN I WO"Z_LUl{;WY)%d`VpY_!sZ"~ԧ ûf%'" V" ,7E] $"G`xmi>G,͵ tJқpMB LN#YLɿhYȶnJ 11:td]Wt\~z]= VR>G'i~kU)jpKhn:%bJ4+sCD$|EHb|!8Q'hxW`(N}Z\#سOFpr R(QsARbyTy5̟<MGI:V%P R۸_ Qͪ1ڻ3(~ZkW(20dh  kKB^LHI58t[i9:k;4a;7V7fZ ʧ̶ YZ