texlive-ribbonproofs-8:svn31137.1.0-24.oe1 >  A `W^^fΰQ|2>n濇8ly4[p{s 硿RZҨ&^K""] 1Vb .U]^oY-7g5x#.ѦQL51Rb6burxO?pX(,E9[ָX_lPqO0,^!mJۿcB#sDcCqK|y*qXAgOpc:RDO%E\(pWe5d28993a7c6269766da7dd0bb7dc16782e70636c6724dce0e65069ad8c450401e578536f2dc7b6765fcc950eb497ce22c882aa8R`W^^fso$8*La9`w LN^Qny` '\ut+- VעsHHX .sU㍎NBKl5¹.2PZ/UTbey.vl!uX'1S[&Yo< Td0^m=6@7V9Ѡմ=e-p= ? d$, 0 Ftx , 4 < L   (8t  t (89:sFqGHIXY\]^+bcd e f l t <u Lv \z     Ctexlive-ribbonproofssvn31137.1.024.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.`obs-worker-0010#openEuler:20.03:LTS:SP2 / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤`Q3`X85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbbedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1rootrootrootrootrootrootrootroottexlive-2018-24.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_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 initobs-worker-0010 1621924531201820188:svn31137.1.0-24.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:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textO"DM3$Ji utf-858650ad976f8c0f3ea2b6eb929929594f17c98b6953a6c9fe5206d2d758d381b?07zXZ !#,&D] b2u jӫ`(y,w4JBD6݅ÓjΒ!2۾YODro]Sr@Cxo sњwÐRa|;䬷;wr))LhUӷjr-A[+[}^BpM6uڥEZ|Ǥc8[iӐǞ08 [}R9J+n8"zsV2eNfFk5t wBރ9̆ nb(R atߜ{m.݇f*8.xco?ֱ|JucZ `}kߢDf|H+l D&wDcXb4NGbf }/HMEbOɍs $-',gԄD| jyD&cYɷK"g:(#ogh`dO(m􃷤"gk؛H!2V//zQ&/۵[RqzofPQ9%P@l}u\@t+DL?]pB^Et5yڭMp"b)~; ̸$Lϭ3<ÄPg?-P*XȤm3a Y>FTzn\07-筚qme2=]}CqPCĩF̧rٱb)D,?>B @o~^0~Z$*8HIT\ݹpJYGfO.gI0A˅7>[i/K];z5JDeʸtӸ:8~2!HЯT s$V舮tDk؊:œ%5N{xmB1W,F+ldfnV" Z3Һk(] =wRГ#"~cOB?JZ]X %Gx$Q{" YqaPZVᾴ$,WZ?އh<= B= n:i 5z+#۬ɕG źFq/6"\KWN >V1AT1y1k:NP U]R .7qr7'/:֡2↡ >ӉN$2 .BC̒5{k%*+P u:D9V~/ MV|m{ҴLGɃy9XhmGlLce"I$&6|lh!r,%uԥm[xj'J*z(34e gJ x/Fm Û#"{t*u{z: 4Oy1:t{v1+-ۆgnpi'q> \ߡX7W /-[H2# J:Q0@`BH i뮹cqg:qc5E_$ˆϥ XBk^_n _μƝc0 _A9Xy(c鵾4&ZqLU`2<3b oɿpR2l)Wx9Տ'a 7xw˵9b!&cBL lL.oӟA=,kZ]~|E!q\Z:Ek!39g9g7^尝/^W9="p"wރzW~BW%j}C~,ݫzS5-قtdRH BK?he!5ai! Oksi,ӥ笺ƍl]`BtJGOhv5ly)3=q)J^ >_LP0ٓt\q6 9ZR#9T*Fʛ- zJsI/5N<j8P vi9'JGxw+<逾C=مikj^ tO>=-1~ָ KWxF/ B:b 8dlJy*rpG?;>滙T^zvk!{~tN[[dt>@XlQͽQ,([M ǘ=\7:}Eq g6;[",V&$`Dǰ7hsoh\5YM[˞HoU{ 4bӨk5 iK@?AO"Mw)JeYa[9f,CW.$4əC>)\$[ϚIQt“Wk(3c3Sֺ: `ccp'H܄b~Aώdw()Z=ěz7i>%fvJQjI"NN|?hAqB;r 7Dg~xO VqSSy򲀋*p0Xu"C% >a _OhDK'^zDlp)| ث7]ɳo֡tM}EQ$%a#yHW.s _ J3nHU;|ZI<1x=R`1?@MXNLcQz<ڰiݨXZ¿( ^~+B.8\n ےc>2n6(+K+!{QD}3 :an#6.-D@uI~7+UDBm}(F&eQϽFFSc@k3m}XqU#GB9@-㦖p x+)uȤQyQh'c 푍\?fg(TX=P)-531}P~Bv9kx/vZcqqXܔxw}&Q AcN+l-12W}duE s񩑽 q+8,8p @gG.;PCQaEP"`"@@pf ^fF̱W$m@;.&zY"]+[PW^ԊcA?F֏'M@~`C)ve_ߧ]XK7 ^'NDR1y[T=#r+&haMJb 學ҋ> Vj #"3P5 46`#[&qFaSEľcNX;KWoJ(fU[vNJ9Rf=S/B9f5ORb}Hes:_lŲCo%dic2yxDY[,ClHpǗ1}g_e_&jMK)#'ȡ -\Dat\2j{Z:|4lcCB U!1y&@}`)kx$cicyxb0m3=>xol mSMG]1ic1.AB8`u@{u{'[=,U@X G"g<@ "Ϻp *Y]+ZmXea#Պ`4ۆ0OR //3Ezn,dV6u\w.v0wI`U Ȁ W3gCxUT XH0{VՎ ݗSp?9]Mn})@fL8y{:AoC@r9q`4M %gP:[ t9E@i٪ˀ+?^I iwiI\_VC= }: DTb7zY VjU&ۏR\r둋.ϑTX;igtbROpx=⽷Z9 DRJYbym]g #ǔQrc=>CpWVՁ̖]l/BGyyG`?qyӅ;$[ N:(l7L#sI득e+:5IZI] [} :% lduzE ij9㜕UGGDe7kW(LR$l+B{}7X>. l;U`?P3>+u-т:aq}Xĸ$Ɩ˫h^J%"e‡YfФ/vըY~`m3Y_m'= |9[Iy7lM| St4U#<~<+<^)/6K.I{tgdJ}(&[(zX." zMx6"-qX7pǢh{yf_^\ƐȨgcb!'NڀqW?_kfEܛ`X׬.>ZMjnJEtQ X _>R2 HƃJ[ocz3FyAf\x0e>FS頇&=4eKA8mL[5ɫPGblݚi^b!{pd.D\tK<݌8?mYr6"(-:͏3FϜa=8)M";\?;%s'#yTql0I{z`r LZ{NCV4- }:aK!ClޢY7V:uqbٞb!?joiwuፋD$d%rkV/ *:qYKNj%Į33 pNU 3]t@$go`_щ-\ ˵X9<832LO-l?QC2Ĵ>ǑQؖUqžCt.ڋÇ%-7duHqVY K}~ @~n.?h䬧{FDZJ3n LMʕ-X ?R`:ml-=dyXu`],kL }Ag 1$O~(w nH[Z#u] @ hQvl` #<3Ϟϙ8ks&]%V}nؑQ;옍 aTaf.HkT$#rS$2)ON^SXAwX{H-R.O59+L9J$Hlsg'A'pJ(:LSAS3!Jn5, `r0j퍟',?Y^"TjLO#պX_ "̴WsAbRĿwsfع~hbUŪ"9O͗^1 /_!ɯVa PJ@8gA<ת(lke, ҬҷfXщQ71O Yz|ĥf3SbDuS=ش$+{ʜB8aJHr4_*,+7!?)YFI5ܯ_| &g Q=( yfWޯo^H3r̬̃yuO^#dž8qߥѣf{{9y\ˇfeqle;hvw"v5 ;H˽k=EFx(Z&Cͭ0yA7tЫpޔ޷[i4<M`X&PJEVc~o/AΊ rJ]" ƚ^Fe|u@Kܩ Y㺨;;ś a 'Cu~ - h5x%ʦ'N>ך51]5{lk2BW~WW9n=j1 N5uG<?]! m>,|]X({h嵣tK5r#zzZ9KW{]u~ >xUGWQy7 U ^x/] ~ݙWe- !8]dGX1!9Ⱥ8=D) 󚭀zg%_]낳U5nq܍q?C"AH|%HߵYŷ#[a5Bn) l~-=۸²Oh Y] ym7Qb^#](y@Jĺh bDzv5;riūWA*,x >q`7t){F / sǀwH|wscBPPimn]G|+8uሊ7ư/ӹiox͎!WP>hשּX *#(xΔ]os$8kB+=Cca_<4K\2)z< یSgҶ?(m^\Jz,|ypK@Glom2tklxa*‘u4WL( ^3NסV {QmBXu<{;X㕉|9TWAnaApm?&Mï[Gj4y;kg3zy#& %Jx3F-C6ՃA5IP+uxO6R'ŰG={iQR {_XVۮ,X2Mceoxh7npgxwrh6K1*y.rw@ ҡkA"؜TnO) lϣy&JJD BuZy%Hc7 a VCmW2K$!M`L¡2|d;Ez'ʷ4sC YD*ՒYE?uJ'>:+٢/w}գTƄmD2%*dY:R<ގ.@kR%1uEF[%1G yr/WoX~%v򀳥qFԿf\"ZeRW H9zs`%pY`%|zyǣ%f?cQP,eYz|};dJk`-a-lhrxN 7(TiKыOV>'`o/ͷXoӗ 895SèFiTg0\__hLђ1?kAKM61ՓBO;dZ< {l*^ԈœC^_[/:Hx@! UXSUIHUUŲ}(0~ω ;YH]Ӧ#q9]ejrӐ޸ st @zX߱$;GZ?X "տ6jo PB3*koY~.lè $v{lnk+!XW2Q_q'/!Z!o4w>lObYwsU i}ʢld8z).j!ֺSp,PǮ\E^7$T5&Z>ډnk]`u7fId (8X@kRc)~ծo"B" /.[Rq1 M$pw9=֖'a=%6Wt$xobm7( M' ȭe/WsHR4J~j`V`6+J??yfq@?JV}H= I`h< b%Cz5XrZ0yK2W2T~ -m=y}rmRmp /_3rU+(kui%T,p4%#9Rf36PHŸ72`wmu b.JƠ ޞ1"h:{݋6hd'үzKgw8w0zq98b,}X4lJ3cH\d^ip-Q&*>)نwn&~t|ww8bvUGxBv0r'xS%h'd}O9U<֕$p%)Nu..$@.Fg=1^{He㆗xʖ@=TKZ kiєPNq+ȹj SO{=Y|=1(mOr6'=:ަ8OO[Jf+'4n>TV}fa=l7y[WDshռUpA6"Jm(ĞSh:sS[]>֥(ď#th>Hiv G7RwcF@Nw!c0Qۨs ϊOsjoP)&@~64CSād~Z\0گaǞSfaOԊD"ʨ JЗ $#[N+)/G e;*gr/ZxanWM(ۙ-ӌ?-xEχO !ne=OEڧUUZ :LåpwhwȏWQvj";BsRի*+ _@O)54UzI*F>fGP,"燂Cex oTv拍{nx`Xƛ(.9|JW:LBt_C/41i]=Ьk.'~gQ^͂hr|7u?zaW_GKLxA{;hɮ k|rtuZDխ2&O WȈFw&0l(,z9wKmP:yu@ђ@cst$0DQn)u[LqYnIvLb2/nw*9WO7CzS^eWa>Ӵ*.|ާH!&:N^؛,5" $.6^5,WHYN=i94CѡˣZdl ᨎ [p%iAk_?'}0݀8ٵ"E/ͳ[&st` F". P%ug_FJb h2I5"EDFmXRΘk[޲O1L^z9Vm^jN*`ݵ}M%jtO@<{PO{,QxO֦Nz05J/G(tA^0GDu]e6j8DuE.] {DɋjڽjH@e=`d #(jYA^ِ 脀>zty`LrfE{zG;~ =퓩|8jL^c6 nUHDvC;&f:Uhs" 6jeXjS{evz3dc(ݘUVT%2Z =uZ֗-=v Vp2J?Q;ga3A}W>B؍vAȴg'.#'2GE4|S?裔ln>tQ ^$ ro.lmERQ)Do6bh$6MW#v1g~ӶCOd?]&͌;dCa Ӊĝ\P>e}ÞpxuK-ZG-w_SItÑaq9`[%4A"%^KXMX[EHۇQ+CUUC=Ie -%1?794̗^ҊîUZ7J\4 FvBsE`૿N{@SG7p:/J]<Ύc^u-hqlG!L 񶶵U5 = |Bϲ눠 r.G1@/C*gu,i#N:HgU:{_4YfU~,EX-}ʮNMs,gPB!pVXk }iA]_5Q\ j*`S*klK<0r@VϛNPs h28s,qr:ğ`7AQ }%jmM|p㡙ˑ4[ZLL"ɂ!,l@AW6ᦧ7BBoېɈ@:vViFч!"e G18qݜ [WRټoH~C9!N"G ,']BJp>}!(7$AL/:i>^neu]Լ_I#xt*Xej,yjd/R~f0"!S<`$heiTƱW?{_casMp"HwT0KOڛq2 u9slZr'V,ifQ.օ8 T*&e3oVh᭩d~ޚg O GS>;VIe=_{$xH鱚)N "BKe^Jߝ]!+id73|p {:K.slSs&|`&p5E+C~<럗{I[:?Pŋُ$>,Ƥ)ᦽ杉Loy 8 i8`"3;N#pnTƓͻhȡ݀}Ly.Sy66,(xDvtCE+ݾՄ` }]SOĦUX`6zEtEnEK|0+B'|&\x$ƛN4lw7#p=ODlzcQqQX Yv=pbp *i8tT2jټY\J@\MAWTLQ,*+K_.Г0 Mp[\pLӳ}#VcCruZ {"0vn5r C8Y# U{uy-nAv=Znfe'nxk|0i؎1ŏ߸XaY1ī 덒F%uU-0( ]rcC/ ͵N@|D*WN3HjgCeԄ# <j8a"<2KA X\EE:VB><| eb W1l]9y"YnEq.]\Y.Ұ4` q w$ctf(TzCMCM$0RUJ*j㪺:\c !17\Y3 vE;2m lhb j1G"u<]c]}-< rL+V0 Hնwd1db>zfR&CH$KSm&K৚/m&1E(9_k0FOJf_y+(TA!lB^C򢯂ypzvKAq Km髙'_mi}*PeC3s@e Ґ lɵL$ĔӢx d{vfd⨓ro$ %nYr革y#_fQ}N\ss9d 祕d3\Ak-ER,?9ձ ;v;h{abvj)S; (3Q#iW#7cz$f7}/ R*~n?Y;ѕUi>1tPkeZcJ)D4(IKrO6 :yY` -CjD6BpRO&rmhzd'^#_*z>;]Ez fQR@0]S2*Z6EQ;]@ɤ$M,,r&q ^!FۻVzl7@WDP17Txx.eA7㇏ r\ǿ16h+7LWn/9A~ygC{W cvbŞgUYzlkć9VH]1d(&phc\#afv駡8ѯ5aVy&:Vz\.'9Lx/6Ia{E@L#w%0o]qH:S`QtӃDF[>^JVem 4?NjM.nBiudjAA7l$L͸=ݡG+*N5@slwNז  R-џayN7sjN1`)I6(/e&ܯ Eh(j1 YZ