texlive-ribbonproofs-8:svn31137.1.0-23.oe1 >  A ajW^^fӗ4dF?O_Z[@L 0!;ʦ4GYG 6U;ŷlsGl׳3> LC8&(?zYEG|fʛuR8h埬3ETS۷ sa4$%i&^;Oڎ՘fK̈,,,BPƄa%äsvDfoi :Iv\L]n# IvwpyFPԜvbcc04acd40b5b6ba974eeb2b45702e7c1cac978f82d63efcc94d457b1b5b710417d7a8bbb075ee629047dac753d63de810c58dfdR\ajW^^fQ=F%8ZTީ7Nt\2ۜH;#&AWǖ>qڶͩ*]w \[[eLfѾww2uAI=I=sxOcB{W<kBr[N@ Q5UR./DM#)c/X>NJnonEОA $o+{~E ebE8grx-1 OBivq<"&g &>p= l? \d$, 0 Ftx  0 8 @ P  ,<x  x (89:BFGHIXY\0]@^bcd|efltuvz    XCtexlive-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.a`pecs-obsworker-0002#openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤aduQ3a`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-0002 1640980592201820188: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 -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 textLaTeX auxiliary file, ASCII text\?ZK6=#LCutf-8c6f58fc8bbb409ba00ba7c6615f5b349b829f4bb71660a6ab4e9221911a9c928?07zXZ !#,&D] b2u jӫ`(y-7g>*/(xRZeQymfZ>g8C* 93Xtw1#?hDl,~ 28K<{tOW㟜Suyf{ZG%M/=CM`\ B9)]3H,O"^'~2#Jc.-DAqX=Lm 60u,eZ+TuR N"PT~N6(Q] f|(VR{jJ | aR/=k RKH~~nNA!*u11*g6NBx)J|K*_F.5|+GK*ӥ.@6S[}V,*] o qv=pUpؕZ_G.IuEA;^" Sc%ow&1HzlXo Ƌ+j#񺢃"li<84XMtg+j+@T+$BkS)f`r)^:o@GB#Drtպ9:sn|.g-( 4S2KUQ-OT8h%#"R>,OARWE*9 Dh cx-K/>& ] )[6IafGdމm2p<iwʄ)r7H(HUI U4t}~baSm"èm?}ԍή?^r_A<=3<  [ f[u#:nP#O'U= Fğ(#sym|}ҳ `=-W`MfJu*xZMnuztQ6z@k98xeA*s;/;S+oA زa2Τ BJ ^: eˌ.lյS9]nΠK늻b_U5P<ljy9¦ώb߃-O*[x:.)T"jR8QR:ngaаK4.7R1P @}o]x&`awЧ9uE) 'ͪRSOmD ^lC_z-+K.*mYܥXg=GQ=5_{a"rIںtV1 Z;GMФ/I4~`v:g"4 ؖGY +;: ;60f9`?fiKjncp>Eg54b}L^~U^sPѕS_5Er8ۂXX_K&Ѥt D(uQ9<0F5jT dѿX^yP`V}&K@3HOÝʸr{3^=UaErkMt"8)J9sB&Wf/[NDNn@gHcSg* xp/]S9q{zJ?xs=:]"ި'qͫdPOb,.sv1U4#b@HEXPͺeRq4rWZD2M ?FwȚ$Q _F wuH;$U "L*1oAZ2#)Lɾ jGE%Zv1b,jsBՓ/=t\66 0 9ʒWw :IfN~SV;Wνſeq<$= lN29GR7x-MB1]Q6w[{6Eu}<_7C/galLB#dZ!ݪJh53n.NE9{@'LȢhǕS0B{kPw vMĕƺFEM! n8~w ǝh]qU yTZI> 蹹Jw4 \vYbB׺Lrk[49ZB4?1oؕ!٩ .Epu,1*ڄm@RELǿ3AFf]CZ t~Y ~ drbyq1(Hu~=<#"? zW,=J7 V\)iw+ kbXy e`5s5{EC!c$e/[3_pq:blVMOt3;w2gCޒy&9S%lD;iH\_0*}tox ǚe|"D,qp'׶?!q{Ňl㌰Q`YaxR I?A0 }5%T?pivF-}-6SrWֺ5[8PJILW<й(YŎRͻWx>mԆ/}=0% D$Ҍ˲` |ܿU (!/B=Kx#I!7Jiklz8Oo FQ&=-nlm{ Bљ~VwiG;E G /pa{klp]i5J֨b}k^~HqkѰD:P왔tN=F%:"(Da><%Dgh1ĕYUگ<7(}xCqd^I>0`S[27o2}T8r09#f:Sot'F l.fVA/k=S, I7x:}!ftnq-KPR0AI~BЉ3@C>Esr:EE8,1 9k)='-#i/_[y$I\5jk91o52 X~|_u(蠹|PSCa0 ޿C*= t~Ng>heξ9RjaRԙIs*Cw$_6|7G*'qK _æs*{|fz4sX"= F/m%!5$^loc@8o2ɦ{nC>ʊ- ӏ5i]7/hs2nG|n2$0|%\wCZ0 [{yNP_ziD*k?N\_O˛9ں}j :*,Ihr3܏x2f, JDV(!#ܩZ> D!Z@at|WQ Q^ ;Rܷ*j +s6yJꅎfv:|Ir jS 2,éF A նrD*\oH X#1 VLtA9M9,Ƃ qu8-j~hm5XGh4ۓF\q}򬁖yGrk%-ȏd,BC賂yV=BڡהηD.\)bRuԸ\F+KU^ogN<-{qV^NFIIs@ƅovx2-v@#5Lи]JHf*["܌?aQB2F4!TblELfnCÚչPM5YpV7ƵANV9v8ϟҥ8yOChEF4~ӦG]Qk*3-(t2ı l&3eS 󉱼C杒E",KQza;btʼnFoGV4 ITQ 7XjV׊jQ< Op:I0$ӓQJ:5d]/c2I =#{ȻD<(\5v]`)E۵hWCKt^ wtkDD} -l¿PBPoe95 s]-Hm|,/&gmtwʳZ'/ ;<^ HRoc:B3iq{VhZP/^/+ڷi}K|vR#Vo=77J'?pF4=X@}=ߌ. Ua.'GCCf I /!WCv88lXE/X)(KDaFC}h5r)7_G=o_BHaeDE20WֹaA oCNߵi ط>K/vRfi)3]:tL9!"N(p#z^\IEDO̢ 3bñ λw)*LE'g`ö8:-CKDE[npG '~ 7>7NJD7?ƏtU ]Pқ*Z>6ZR] MQTKY[8*!xe9qv+Ң >zqA ^,@]m{WI6JSZpWeQoa>v k(ni{hFuQ}C޺jC+,;}_K_ TTA봩v3rr!955e/Tp"mnPŃ 5!^a!K6+lHuׂL&f}M׆n9=BRR/L;!^ !,_ob6o`Yrh_o y -lG I(Y|#rgɅsYd%`@/;Ck=sVns~k;wpnMθ&2r#*| y ZСtED;gH)@Mޑ5?)XAh/-l W[nJ3VP-) J;|aa /.ܡ u(z(e )鶋,Mm1jϴiPXBjZx81P)Bm 6 6FѹS[ xv p\kӄtb@/;>n'JK %}4h]r? X:b \1 =,.Hʆ`yl.U;,0!0Yd쒈/g<@ar G {vN>;^9~3!6/m۵a2>cFwo*[`Mt}A>/EL%/׭4_k1xy}M_B o3:[PC4v4fflh4Wk 3,15Ss's +VR8.f[jFn3`U/o7FYl5K2(Qn EmŸK%l@6EГGվ.[Ǥ>h|aZ{/RayYKB{E/I~D-iB<>* }Evp6GJ^\PWc[)bc6C&^R7b`5Z~)$x0 Oev N5$b5Qcj;dxm,Şjԅ5d6k d=WYȽ}xW!Ko9/Y[lW3>Rvfmy~*K%gk]rw8td`RPˉJdkb!PylT"5T6&u 3c(]()dMOZ?<wTtɩ+Nk[Lf$RX@)zX3A^4{PſGY8uM`{R9uVWL³h䄼SbLw#p3H~;|"ujǢ$Y] .v| dV?j_r%xwW ))ݶ=ٜG]G=dPY^0PJέ}nr7 'cGLJ<找==Yir[VNWWQ iJmu DjWoq<<8hblk6@h W4q'5|"˚qn^K槹è#!^q[.e?֮KsP3E^uA>JKi3%Yɰ#,᪋h,Nj Ul:`hݠݐFo N8~'XFk)vY< B.Q 8$R9eOͩ\9*-< ڒk˞֩,/Ⱦ\IO$>$ sOSWO[L{n=g/RrE–d,j7 ~ƚe)Rl|CV dF<>e5D@>e}aedRfY~1GcŨ1ad9`{εǔCqi+@'g)j:^B`6v:z#2+h4 S9DN,kۧo<ɝ􌸆cjf]-CyQ7]aXlrQgmU/֟ ?c~YdTká\*g)rlm is6hnLeUeLJS/*Sm ;q老rΈ.9M)Znjᶄ8tA1ד_ ЍmY)wh['FE^mW۬ixg^Jf 7r[wtI>7Gp} 4:7$GR!ɴVO[!WݡdXD~p4aw"'fQt .p`(k׶zXEBU$Π}Xcgr+M=OJH %Ymk|AUIP.he|dUGgѾK >Dzqc!;Agf?6 q9IE왋^3XۙTinM iԫ8qR #Y,E"0 nr窛wjCus!N;*ݑPv #]Go+>Ml"iO`~HAL`sozFFIչ- Z^"Sgl4̀GhC:F?mT~1+\V[{Ϣ*=OR^@M׳ĸ(t2WMQ3gJ@I"]>jO& v}o.){:|缋4xB|H:^ \@_JiM'GT*ր%_uA=L -NX|BP A喟7t&DJ|/11'2]Ž*M˟|Ж<{: 3cZہM%k}5l(h(~}#O=՞I D#~ӌRw"F0l5X?$ m@pBpR _[#r],)$[8@5d($T?$dFZRPHȒoP<,Gc5Juw xZb&cj8vg zF㸗ֲv-)e/V/ҧǧ@g=] Wm &OGiL+\rj3E ɛw^deWcy?jeƹJh~z}0zNP&5+|ON`It&$2 !#dɋbRucry)XEYezqWLE&$'=իS Pмٺ4|g6+ڄ1]S-MG]2 oOfSqr9 @?a)+.Rڢ׌91ԕ"`"l=fnQW_JbGeIݥ~ߨh Q8hh(&b w/Uy}/}$MaxL v40~ʤh-;sgƭ~*9gINa/dMh?dþ qt]Lܝ{VM&_:ڼtZ٤VhʻCA;<{5F0{yylu^UVK砺bN1-Y #izB$x*f|#.D~ϼA @U֘NL[thƐ`ծUXmkĮ-€L{$ݭ(!0հ~-gTpѤCP|z${S""ЃF -\)p]iktrNЖU񳈵{@U+60 bcCtK sap'pF+E" tNV!R&٭C'f&E[4>#"ck ѷNμUXWA<,We\P੡B,"Y*`AbnBk 3JIzȦ\HkLP@ г>P7;ۚ^W-xp[mi 㴇MٷO1A!>7'sy ՌYl0f31qfzMv63{yʤ.lʵxɃ'5"B7&+}ĒJC<7 9Hgsbx=y>J H#``Ңdxpd^~>G\?wO ?qxRd_*7Iju-bzc'4Er:8ӝ:r M(Q-倗؄ [W(:Ni3eJQiۨFlHi$HaKA xRxЍݐEeCx sJ龍gb.vZ,E%2 نSlYroh~<0㒘wr6|,2"R&-ݣm<{9dg42f17,7qTr i~PoW#[\"#^,ڠO?! ossk1dđI _<1z_hYeSa2 M5"3"w>IvR<@A`C=5xB!}LB<]꼴GJ|dy9KIpX0#͌LFS.܉!%F/ ̨M|O}@QFBhU(g<:S۵B,L/M~=P(cUFofxx`m OnkQ)Xȶ AKF2Pȟ1G+5X@r?(rxuO渘 bEI-M8Of-,*^~O"KdHqt|#l&>,ӴSWyf+e=g̏=ezj@_*B`mn۾1Z|W^n8JxTndBĆGT{ҧ]S1ְ7u6RLjJd?4;A'Gk&`ӳ ĕ QA8sT^׸PsT5ժ}FI6"?I9|* z aq,8ݨ\ו#j:),ˎَv#:fPw`Lem! Y8P ,5ѲPk!u6K[TRe8=<B愡ޛ2?=E:*ز4e0_O/*V,ɹ2h(ˌ oQXnXQ7C=((n'[MO|e>\Y2I-Dnqκ&"k-FYᰞً璘_$!Ey= 8TG*x+c4@|4SY7p> iHޭ.zPX*.a\%x#s?w:*;9{W5؃;xYw+f"u<'O.0ݬ<  ,xbyeWJ@,$_sMZaEN,o#袖ݳd⼘l9UDlN5Key4 {Ah.Yu=&-I:+yڞb{Z)|d#KU]G2sw`F˴~$k47;Meʸ.%-M{wt ϔu ՟ K}1P``B+x<9FM p tym7V{+zS=\ˮK gER^m >$q]IVmyx\n@:N@W l`1@r"H[A"w" 93wZa #+&c8ɓ NOxA!ϔO=~6d]/nd/BuXtL7ѕl!ƭlYCwyo-Ko8tKoh[Bۧ$qf%˕H{=$ \֌]h+$chsҿg&vSdɌ)VBCu䣬y__Mep *{!wE/N@v_m|R{cʣ smB1+h$G2ej\7# U#`EwfTj {I+RE_6%@ƣcUS`joaN-v9jDs:FI(򴍘xCKEW覐Z֖.'ODl}d]ig@^(4:|iyb.}pK T/B>GOAsdϣS MvwTikQn +d \ 0͠o?qah_ +ͺ+2GlnڞICga+@.JLYi364z nо4smгRcw>䷘q ʩ-B\6?Ku^` 6v<א2u o/ӊEX]{w*aW7WYO\2ԋHcOH>]M\G6)Ae줐;4\sdP%[Xa˟Ny{c~(=Ơ >1>KiԆJIWJi 8JᑊܘB5 Y9g#IQLC@8z ;hMF=Rm}v,Ec,`9izW|mwCALMP7Yn0緻z'N|+ kaG1x ..;sTRT[8qqRcX3mnhh6%V,`MF<J ķCc@j?u` [EV'C_<< +a@%sݩGkm6ZRg߫m<+'D44[$X׽ظagֵo&LAnJ*yrf P8m$.`Y#6Gz{頧&! pD@ZRiG<.RWԥҥ({ iG33ڋ(%9VwlJN#sr%%,Z߅I~ΐ_{BԾ U~ XTN>e$N Cڻ- )^n-0ds03z]& `* ݰ>4c+,|@xذ~ Cv.Y6|ԟQѮA)vd ajLKm@ h{Z{.RfY/OecQq$(7Vlxǘ0:ޡUvz돷Nm;])MCB=-pxdѣMUgӎ.BrddN"?,X??:HUly,q{JP;·dϸ|Tap&!d 2wGӣ4=dسAx`opfuU8-D#iTC7tU*m,5xױy'G͆H(u~\9fgtFc߬Cs)3q B]W景)&}{.F\1Ynu(y h'??nF yO*<` fҾ#bӢΖ\=qTkd 7Q)r6'G"+Db).B$_?HW΁XmJ_BQ0iXg>TJ^c(_D$a6exq9IHig4EWޚ܎Xަ.*<:m'|)&*|Mu=&#BIm)n.*3Ԯyz zK7~=9,*K rGh!-Y]ݍN8p$&+Zlk?>hA_gp$*?׆ >+'ʧ̶ YZ