texlive-ribbonproofs-8:svn31137.1.0-23.oe1 >  A aqlW^^fPVDSל;t?| 3^9M}jԟňLY~ \5^V|$ƺ[R>N[ahlm'< COy)rY6^;Q _R@b.pYIȞ:*TL>[`'VFor 5* t1?ڱa<#&ݖɌyi{f|(04.)p|7:G(\I"L@d8a75a8bb577c439a3bfbce89de5fc51752f0f9e385c7634414419085ca7b528178f3ddee6d61464984768c2c7864c9e3a272780R@aqlW^^fzl^(, 6M+?fW(_1Zf`D>p[n+/)Ч^ˑ6-茂tv9fX0Sk$1{ o7ݓ.ћ4`C-B)*p= P? @d$, 0 Ftx , 4 < L   (8t  t (89:>FGHIXY\(]8^wbcd`eefhljtuvz <Ctexlive-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`obs-worker-0020#openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤ahQ3a`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 initobs-worker-0020 1640980622201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textXq)cXE*+uutf-8e37cc1ae79e3149332b423f536b6e0a5d027c66ad5ea14ba9115bf78081e97d3?07zXZ !#,&D] b2u jӫ`(y-7g?zy'C=1n4 7ٵz@ó0gݪrZt) LRqK)Fr@o#n1 qnV*R˥u?4k@Ybj'ihF,ƅ\mLu;V˕=+UlJK3pBKOG2f.sQcAB Y yyO 0d M\AGׄFBRz2=]t(8){|Z-{%?7:&jѰӉ8Y,5YGI兛ϩVCb'@Fv5kO~&ѫttxn6Լ;!Z',"L0I dP$Wɣ¿R tj 6';>q0@>XA {oS^"%1xko>p6ݓG7oL~fay٬vKkN4UčgY4#J5{T&}w`qj##{ǞTZ8c3-95u^noeR#))f3Χ3@9[dg D<W?VUrC@r/X,jIs>Iެ~XL;1"7PWͱj (6ZF3;~M|۪0q (L 0MRf=Zk]r 0>qۋ\`Zw4A -WehDq=UBp.O)J!h݇޷CݟN7 >N`Kc\ط(^QE/ui(#DU&DM M_f :a63F~G=ܻ^"uj`5W+U2wY14}v=U; _E,+~(xa#ϕ @@xɎD#[S6`vY~L-26MĊǺ~VAIbct߯]gtDnaaD۔lRrkbup+pJgKw_Z仝 10Ghv uhm+&6>Ƿ+}duH4~ K_ y]DIhfPUq/!pW&eh 2,K0VW}jxcKr/h|*0 $sCW 㳎H|,|:%`~R,[I!sGEr8gzU&!枡U%1 YIKcnݤE[aa[d.rۯŗ%x*]w8JZFm,D*{BY~:7H 8v^0O#h,;ZkVne0 Qpk]]fju ,X8 r&-͂6#I"+8ZZo^#8ÉCb*{h D%rWSZyU&&DR0:V0?.A_UPǚɩF%;fv]_bGP )xjdjGM93Wwۅ eU0[5A>iʓ;jn*ЛcjQO:ηTL4sf$邈fޙ("UG(V K`-J.jHrtJUUc*-erxK&ȝv"mr<Ƒ'ը^cj?\yo|؆n1lΥ4h^exRqSXC~c+2 3hl Xl@[9ZrQj,6=}Ln_fLb{GFz ܙw$?f7b@QdT=M#Ǟǭ4{"O Պ/LYQbť]D̠:]zn wϾgҺ y\Ҁ삹F ^Z[]P,k̭)P˟icc#fmʢƒG]%49L EAyPp` DuAN9rɭQ\aqcS1'X_i\6QZ` ſwez2$W}sȻ@֮a'fR$T_U9ˌ{^9(1U:;@_:- GC3N،$_u" +mK~?dzP+۪C4Ż,\2yX)6 ^d{o"8x-Nv^H%x.㚅LjfŸ8!U VLLBo?>uIE$xtWY7|$3=3+zm5/`PwtzBks!׺\zwF#L&H b*(E:4H5CYi3 qnezyU,fb|[Ӹa6OI>5ݛB8M4E[H})pԧ2ސ ! H y^~[1} (3ҝeTI(F| NZvt4'V쫤aqYϩ7BspOaB*ľw@EI:nGU7MӯyĊQr[6AMBAVXZn U+5yX P}ـ X4>n l:oy+(wVF9ؙu-jr(wXZPPė\p5^*Qs?hJw uoܺeL C,T@gCW g bW!gr`aV S(ĠZn'lRb|9 5$ HK4|Z(U{8t~C;yW?~1^wHR@q"er6u`V'LxsF֩Oqfk:oİ#|$\U@vLWLf;dž o.IAIr įG0K*>xDK d DzMNըz2A%Fhq*߶Yܟ07鍲Q,-\ق,V>o_ji3|颓 (( %꿺gޞSRtȷXk s d~-XU0ĸ";#)qG -P;xG96NNN%v:sŜ.W#q ghF 8ܴТV~|i~}i&9?zԩ1`F2GHw,yEq/c `͵^t!sd g ]soqۚcu[EN flVDk` Pj)unA)e<>K2(]83C%½g . FM2􄚅7q(T0C4vr%2ģ2Ud$5̋ 71e[yR^#zhg(^-q{VG&ŕȻ1:,.gط`b0 ̝D+ժ9l# EA3}3# o/V:O|um!S˰1Wˋ1J\P帖qB"mo ր>/ޔB/ krxҋvL& /r< 7C0SrfcUBbgv54uOu<{.).6qsim"`xv޲ISgu>JSa n*T10 Y#61訖>q&]ѧfL=R·9[jJ\3_ cjmF^FU0W}Dhmg; 2_}`@-/rZ7=ᮏf]Har}D"o6Hq9ojڢƤ9(-pA UaȔ/bIW%KF@12|5acrǥ4UzYv50u Ys3wѰVTIϥ"4f4nU3op=NH*~HŌ\cѬ'#rV$gұ`; 4j.ՏR#oMfJ ;$龳XV LBYiV~1k ?Zt wrqp+%e9GrF `$̽M8iBư7R{NIYD|؁+8S\!t0 \7c3m hMgܰOKG&L/HcHeMu`SMA S(=S$~uhYS ܬmfwwL<(̑3պd`&R@pU(~L‹/seػJ4H"x)~?䠒Ve+ø' DXFlL(C誁VtV=8*_ Q$,a.z l_suldMm0>A><gn3*pHKA~r4m1U>xpɗT`?ŀUץ!jYQ pFUq rI ;pΉM;h{ԁGj[d ]H*sK9< v\8r{)p?VzX3TiđyAn,X8.=uw^y:>ppvZPkz=R2?LX ~Wp}Y6(", +2@YڠrUYVd{lt~ȓYG*U^RKr)̑ƬJ >FX(ٿ]ܰͰ]C`1׷Ok·kR|)XM';N>S!B0~p\udT< oPR0dY0ܙx~5mĈ,XX{ރ2Sx4%mƷ&1Etq2*R6]=y/#v+v:nAz*:yP.SwZ٪' (INQ: 1z { ZsojADn3rPpAhAH  ʒYC]-¥6cȨ>j^"2FnaRB`$\}_Mu)ohW$LW#aeQ(a n`P9O9ƵC\XOi-xhVdmJ9e].9z0 E-*'ʌN̲W̯"4fuEXIfϳ];Hp6ʼn4: ;)2" 2XU0e7j~N{HMݾʏJۻU9JYBOA,E5VpJ] \»`6,9!9Sdž"AyM22]piy,emg5,7vr43E$S|eF$'R HL\[ԪaO!0095c`lDr<|hٞ߆6N+$63O'_1>vY{dU-!v3E ύy- 1u=eP9-\)V\7fqY{6jF\hF,Щb/LT&}?\ !ٕH)|^M[A_'u`NP|c&޺$OqP*)fg! Z8_Hy)hH{ۺknV80@ΏlǴpBo1k]&GE"1+?%BMn i?ANօ8*1, e2N7p)1!{փ;7mqUԐ)TXOH!VHm&=kZ]۲GS$-.>՗nVޠ?=*~Q$ Q~j:xp8r!ՁbAstإ{Xs.^]Z lr˚P<2Ax !3Mv3Bm'{4y CWL6;j(i3S޻m OL&ɐEa(K| .\F)`+Z6j/F&(=uq Db0D!Y3vx47>XԃR? %v~@μe}c7>Լ' E7kQI"Q"~ihYr<< 窲!͊laǾI4 |lj:a(k{fjФ!~A`,  T]"R@]%VEՅP*P">c'oS-@{M554YBKFyY,G{'=0p t1?v'W8UK>~Jx.HG+v/jױ s"anH?yPOV%;z[`bs[U;I;JAj+&X_fTLڰ%u2#фPwPg5VL#ȵX#*QjV)KDs15$C;8~ Z;sz׳A]|ece! PzT" pfn\ab㴆Ɨ%jnJ"r[AP Pvh0%Izi6Ƴd)"jkτdR^O 9~:[]x)za2x+me`'El7\TW9WҺ ЂH =l!= *ɡ0N* Ih68OhqUʇJmAo!\$KS.^q|˓ {yZyFMǹc~~1cHn3gtkk߈ Τ ,!.8TOrڔ}BL}}Jz2~ܱtljPvfSZjRSȜ#(>T8vja'L`r 5~qQ4jmq=򆢲Z_AOکZB!,8&*}fs=Ѩb [>:`>NR[ L1yƯt*l;= 84A=?,ǫ(`^[m"״r|>L9ֵt/nL>D__ Q}x'M:CR%)$*c$j@(X7}xp8{Qv0`Afk;0Dc)oZM^z\ne>RڊoeS WWꪇ"c7uH_0Z`R0v3qc;[Dzr'cS,J6MjhQx]&8t9^Vmzty%ʷ @N>H.} th!ma{a~K2)/%-s͙}K W=+7yiØse*,<|Wkl/Ԋw4 Xsڤ>ֳ?V} E\nU*/lmr51G-<8 |l[ߎ2G:Aٸ&zaީ;֠7T+UJa"AǵG05*apqmL0p_. )cN"SJhD:KH3W>^j:쩒ԝIqWOY#D{c+8M@ck9]'n\=jN7&v \Npk+2`͏Y^!+3ojSf~ t֛;a ;podffW=Tw`87%C] ^2=.@F! fx1u//znzu[cX|㽢q[SvMIXg@KuK7!3r`E Rl=,T wv* P5:imZuhXKE_$R P75?I?'Kf;V?]9Kù ip`q-5 _r, } RzL&όmߜ#I$m T?c =DciO o87ow3Rӥ+9/q2dEkk$DT3HJAЃ:k-PMVgI{Lq_+A ŋW0YYX)Z"1v"B#ԬA C87Ԥr8Ge9u1Y,8!ko}"3U{K3>aĿ*Ċ5f(0Q+gG$5=1{fNл?Iug%peMzC>MF*]ExM^$"8Ei2P-dCU[BJT$/^ ] fh\Q&FWws XcRLв&(핲,Aݨr=0|?[歗꼫0&o.F#|X+'Rz;C' UUwi杢}) }v,4JH4*:PG(bN=!%|$?dr9G1._}%os'ʴXQr\e4.5vQ|[|9h O0<]D|y yQvg5 j!otȚ}zݲixg|Ksrk3'%Xƿ#$ДxE.p:L/WaJ#6r*8 {qKN&0/suvbw+Oȴo  3Nd8'w-rڪ!+! M-1^cGMg[[.1SЊ6TP %8$_kK&ڟ[C(, !IжQlQ͈W2}3wI?bFү*S3HK˿,1c;O{|z{@lw{D{:p ǜh>ɥ;x/q(`ɾ`|m$4c5,dMX5HSBv4ˀ#& 6a*OK|Ws,l>Gn1o$?5;\(2 >`ؐji"d RW0G9LٳrެcS8ĸLJQ7eBPvXx~g}GϓR"U9Rd&9> JUהրTb"0Cei#02I܂ Y?~p k;`Dh{uT$NHY{oq\ LI$u˜I*w2[֛q0Âo=}@d]U!bk(g8IAF"{fzTN@Bë^.HǦ 'י5?$fn;WtO Bvƒ8w,-rc׷Iy^Y, cwYwe;&TȚn#i7!#`A凋WYG1g9]d%M;N~>L>yO D'{W.3 Lt+)\ej&LE]z`h'˫3 p@5ʴQ 'ۙ*H]3!D+SgePϔ(<8Y>*l"DKD"ϰuZ&vYZ~҃MA%=4aj $ĉkܸP1DT/a$ Is^~IOLo:C:Ug+lԐTͷ9K}+yC^8 W7/Cc7oDqϵE6/!ң~7qx{ƛҍlb\ӅJa8Ƨ|tmtp߻t&* υ eu H-4H KgoS`xi:+Qabҙ' 3mtIzCBet#22ϡqNZ~kK'z݆1 S!yY0~UNJ6xUylmR.n|0Cz!BDLB`x&MSmL#)b'䡱g_{HtHϤI>˧9(Q<*LCMl+b@MgJH*>=Qlmăɴ٦e{V~U *V_7-< sױeou+0]zh0Pp,>y}y=՘뫘tON1_5+il,>|ZZR'{IB\v_V@#4g7VQ;i_oa d9)ڂZEWokF&b|T;].`C<g}`8xϮ a w#嫼\ P2taQeӁb?O3J YZ