texlive-ribbonproofs-11:svn31137.1.0-73.fc41 >t 6 6_ p3!Flض zE>b$bjf b$bj÷IW<ڪ=Qx![vh7|+m#=ZєI&' ]ٔeb 0B>}"'^nXWpBHa!)P՗IaCn:^o6XNED l@DO"yXLI8@Q54101,fy:;TQzYf}vM. `ڜͮJfqי4ny%փ0V@]!{Wsգۧ &ƞC)=٤}|=M¢.:7tfJIDž!Geb7fe9f58b5a3d5533a2bc1d66b60973089c5ad61dd7d2a1292719b9b0b00a3c9752ef110a0be401211291bded9e86f7d175f4a6030204876d743500483046022100c85e6931546f5bd166f3171e0e641bd3b8ee397bdbdbc4741d555c3f1e0209e0022100d42fdf33a29559943a6284b26892b5d1c8f9b04047432f063441f1a4b621ea17030204876d743500483046022100857685e52233338d9d622926f58e528df9fc43b8cf49f8a644bdce89d2e78d15022100ad0106877f6dda20d36c824f5832acf6c857f7984388fce52be3c65feea87845QVȑ_ѮHwܘi3!&>`<?d$, 0 Ftx   $ , <  ,h  j (89:G tH I X Y \ ] ^ b d|efltuv'-ptCtexlive-ribbonproofssvn31137.1.073.fc41 Drawing 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.f?buildhw-a64-06.iad2.fedoraproject.org#Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤fQ3fQ65f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbbedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1rootrootrootrootrootrootrootroottexlive-2023-73.fc41.src.rpmtex(ribbonproofs.sty)tex-ribbonproofstexlive-ribbonproofs    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)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.4.18-14.19.92fe@ed%yd"d?@d @c@cc^cc(Yc*b@bFedora Release Engineering - 11:2023-72Fedora Release Engineering - 11:2023-71Tom Callaway - 11:2023-70Jerry James - 11:2023-69Tom Callaway - 11:2023-68Tom Callaway - 11:2023-67Tom Callaway - 10:2022-66Tom Callaway - 10:2022-65Fedora Release Engineering - 10:2022-64Tom Callaway - 10:2022-63Tom Callaway - 10:2022-62Than Ngo - 9:2021-61Petr Pisar - 9:2021-60Frantisek Zatloukal - 9:2021-59Fedora Release Engineering - 9:2021-58- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- fix missing tikz dependencies for tikzlings subpackage (bz2255556)- Remove unnecessary dependency on fontawesome-fonts- fix broken dependencies in texlive-naive-ebnf and texlive-jwjournal (bz2181838)- Update to TeXLive 2023 - No longer in TeXLive: elegantbook, elegantnote, elegantpaper, tablestyles, pgf-cmykshadings - soulutf is now part of soul - expkv-* became expkv-bundle- update biblatex to 3.19 (svn66405) (bz2176089)- drop texlive-ketcindy (it lives in texlive-base)- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- add missing dependencies to texlive-lua-uni-algos (bz2158837) - hack up tabu a bit to try to fix longtable (bz2158820)- Update to TeXLive 2022 (finally) - update all the things - add new packages - rename packages (tl seems to have standardized on lowercase)- Fixed #2126535, Fix symlink changes during %post and %postun- Update biblatex to 3.18b (bz2100167)- Rebuilt for ICU 71.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild2023202311:svn31137.1.0-73.fc41texlive-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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19noarch-redhat-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII texthttps://bugz.fedoraproject.org/texliveutf-80e02b7336eb06b0d0cef8c3654889e80c013decaf38efc6fb79546cd34dc688cfe6cd57b8031f81c13d231b7a147bb608627d3777946794df6fb6e73b85f573b?@(/hdH%2&zLIJ,Wt4PǸPソ/y<#@TrJulZ0:Iq쫃3\5ŕ]J_!?}^h|#KH#v6dDa5ζxa5Ϛ2 r;cM+cz c59Rl"x<8l~go5ѝٓ۹%ZP40TlW(|nl]=tqpIjXhPĪC2x̋`=+r-Ob"WVUN" Ep<&kNndRC=A݌i&gŞϝq ETо9GδlOf_^ڻͱYk5p4RBF%E Rӣщ0 @\V;ŗ(c%:EVXNns|y6v-ګ[jQʮA1G9 hS:nmFn&a1R<;ْ9-auy]Ah6BVa zV-6Ic=n{#FѸW mlAGPFCCă4y=tYy.%%IHbS-k''CDPKQdu)ʎuz(OI)g[GNvdWTjkdNoMˎ#s$('~T\(bd! =|-a/;&O,PL#O?L^ $"OEoc0Σ OGW&^#1O E`WKce^υD;|# JJad:5g[,|:vNZQ&X&D]60|&HM=]lH0@ & !GH-Pw61D&'{}'@:l> _R-= 4َ|$ "&lZnZuڏ&{ܧc˫ȦJ&#Cb+ LST |>l t|E]?#`cr'<%7vR4U@_8?aiA@ecUI5JUh(sP  h)9~LbS83h 05)>^Td@[^ݮUƲqҪꕽ[dkuGvnw]b':NVc2e@[tn(_^_Y|\4].Q>#*o8B!`镯ل`,LPQo%W쑺Owj@%! zz-i'7AcF7$"l8&x@0&t{h$?c)E_цīLdyBq4rc]BS)ty\ Lɺ~e_ٓy[1|]*fݐ1|=i VÖoFx'Jn3/کckqTݑ1 8bh_jXk;? @k)QU'Ƿzڳe \^𡄯av`RMx 큑*@ߘ#$Ew$zT?j>Vf`{VdSɕ7jr+1]]0&"8RcnZuKi`lf}P'Vev @6%!1H-SgDx͉-aaeiŘە ?"p ݕ`D32aZG?'(rqA%hop* 5E+$yK8[h?7hA|r1]eB2#)|-n]|GE{*Cc4yrۅG̮kFH3۠}ԫd:3 $I>ԓPhT`$`~N Oo(fB<w9@>`:K^-_%OhK7/:~+s ;]8X_l^˴~:hBjCK%!5E<$cG>{D1\qF8p)ܐF@ Am=7)ٟ*< -'֩.U} H34l4ӐvQ~‹7&U/#F12=;kpDSL"f8ʻ!њۤ2˱UZVEՙ9 JR2a9k/↹c+j5g!Tf( `} Y 4ΈM]'et{|."o!~HIr0g h?C"Jhpy),Θ ēj ,Fr!cDِ xT2}Dk-/TiN8]4ި{DF ;ܩ~.5N_qD9cԈ b&WNprp"}[U`| Y3Pjő*83)vO +O2g[KO^+c={%3n:9qsuy9K|l:auK4>"}ґFru/- Xu<`M$Tak*)Y3EQv"y8G 憖!,y9hN굧MZJlH3|,t js+ `׭c~`^En}e16# Y!MA\y< "F`ߔ- 7rExፉHq0D48ā3Ncs2ye=!&5(q9GZMc$\4%e|WCSb;9F.HN bo;}ZxY<Hљ*e=[`A|8^L` FOf15pq`e0FX%)PМΤf%JZ-}pΠJ8yF GpO#'2'5f:WO&Vǯ'kLL{l:8}i3 H&U|Ŝ6= yK`{ >) AٚE!D2RY`tC',xBeS fa^+ P~@c&+n0ZuߑlEoǪbB򚰌Ûq졛ޠr?zyaPP3ӚfHR$@`1V<&۶!W9 :nxZ<j)\+ J’㘇^*>1A,.m3lRA]Eo]-he(8/{ jcfAuXyGb> V+-_ɍPqǫ4gxS ̎;V<჻F!ӱGbxp8zY7/iI>w]6ŋQvx1My`-tL좧|DVfѩg>d(VX5K0v&fS"}q..uþ`ozJ eՋ.-Q@iX%?R!uEŐɋezdh"eTirE 땀l[J%O$w-U&)3"ciQX_ j&1Y#N҃5&"v02m[ 'h&Bl!>HbQc c5NR \:ňSfxVgeJP4.+N;qjd4t^ i:@XjA14*4Àl2Sg&s(HT!;1d<ԕ@f+ƣ%(I*@s(q]_a'3XH ԩn/EQo[) )|*Qbǡ#~Ls eb,,-:X8&&ٙ}a=qqU>pD82B#vXGQʉ)2o[|"">%GCJfǤqTMd7;0>2'vk p4V&:phRTk"1܄VȦZ8U{nhxbРg*&`Y-0>ԟͧjάp{pRg&^ĩ#;La!Z<=JvOb B0jg>4q2kĔAS"d}?U u]g4G#&_4]f ZZnÿ́Lsvz]x9d1J"}j=cfu֛!X_u󥍫1 k3[4Ks&Y*a$VJWۈWD0&W/px\Tְ{=f3G#mq˅:aH\u%xID6wZ݀?tϐ WZjR6G 0|r)#4;ީnO1NUL P~tҋ+ O^[Z~ʐ]6UwݕKߦ $!EЩT7y vE:YD^."s9G_ V͠v[v\퍫\5mvOԦIlNfT/1CG "xiAsWFh*3 cMU/a(IpF"-7d+`OED~+"P0FT\[|(ؑFD ғ$ɝ9 X6q%Wxu  O8Jܨ1KQG!~I//rzY,Bx4~!vLEZ~;u(!م깤p)bE}X%7:Cv+9GY`Ij0qieu!c|ÃS< <ї Rij4 +CiRb%c2!tU[=oN%cXt/K rc=2lC̨'"Axq3L/eN<(g:F50>ٲy} gh0ҨrBVS-DzFXb?S*ԀGEu # !m9%8ՓWts%B2,f/;,qPDJ 9]uJ>88'x5=$F`m/ 4=f]G >oA^7[  is8!{$B>@2A#ޑB:N\Ik;ׯ\ ţ岛FhC&X8b'oSP>US Ƥ/mص yG]ڳ#HQ|tHwK ސcӪ, /y "k6L֕5,/R8Ch6&3>Ĉ`4+t:hgbnʸ:с+qVtbh**Z%]+^SSd+fjp&X 8"F]c?v2# c(`u^ p톢9EZL*Vb4B玦RaAYS51v֨ENx@*M~VA5tjBA%\o磰AL/0#D%ꆸhQ!"T7Ί&.H7hQmM־H9~Gng0ftKc-0sS8v(z"\)}{4pҸlNU:JCQ1@o6CrRxpD!%dNשse& p\*@٘/e\+c]mpFp8g7ֱǸ”É 1b\MA([f!l+*;Ujkp%ӞP1d 72:?BL.6AM7GzLjeS QBLT|j{o=H_!d $wbvli2=e~(1A/YbOY^.;SzvۇH>FHTD܄Oq] OOzbEcv Pt9ټlmi>sp<CA'!Vz2ID},5%8n,~Z9qn>}wG˗_pc<,Hrg+ x^wS)m{N~)!א4>,p(0J} e'XL2e-.Q p j0>֠??w&!&OFfXz3,譐KGb3L0]B9S3h^5IMNYJZKCZB3]°Qו8?ʗƥ@P ]O6tM^f{5Y4e4]-}\`_R?g5a8bXWѩPjC2p8y{8?~Hl׸Z][f$! "}<12Z*I qlpxF<-: k*Ft˹7evpysyerG"B{<͢E܊~V'yAɸEc=/kN<_RsDΐ?M߯uC6ݚA4M9:豿DaWpc}mE֛gE;U{w-YoZUŋ适-x/xX},=O@E7ZR`\\[UaU"e"ǜ788Р7ߏߜ88448\;_AQBbAiX,_%4B,:$Jqҥq̑rŠbҶ_?+8?}hxfksEX2'<`׎w>e&gDbRlJڔG]w[TfGOF!) F֙˖BNAUT-c5@` RTx! b A000``pmlӿҢu(b(QgoZiAh0xQƤ#+Wwt[C5(+ŽP/͑<`&cܟ#`-H&;+Gz'rؾdd{B̬ZRosٿ;U+,xatVD]1Q7H7_!`O/ʮHW ujzgcR-V_oleaP%={ߏž'w@[jy`zh& vm( c6]ro3W%88 l1q7L*j:Pk ~ cNRLzz4oy1i0~r7uhq`݁tV $f;vۿb BqXdL4p(Q0h@JR63 T@Q llG:dthuM*Ut~3Gvy=険/_=4dW6 S6%cAuÛ190,Uܾ^cE92@rt9`oi ރ)s7ς 8eĿϺØ^F>䱛&Z(w[Hbo}j45'6uVH3+eD)&2>k5G>wh2inTPgjK%lMrDUQ̑'pdaa"p K2^IyM4`A[݉PAXߖ4aոo¢JDkt:/^׋q=jfM#=j;Յ%ToPE=`;tCgF=Q ,ұo}8ӞP0Ki&@ӎ:LPdHwqHb!"Nm3B9<%YP%K3f5Ҙ 6p6"߈ iUu7ڑsrrc]*ln2m!?$&/@uy8i#B:XhlnUa ":{}uJ\LFgKM~A RNyve+rsfIYm8M&^#~28Zl熋h ƈvm5#hB!=lgI~1Xgs9DyZ f ,RO#3vHy g0^LD#'`Y|d _<\$11'j}HU\JZI6b(mNyJ XozJpCaZA%JR` g<0a:9i{9\A>X]\@X6Ӓ!UJGpAr=,BG0.]j2,cMh[ c8+[|46GP)\ t 8sWoH.(iWBߖf(YZju7rz&6LWGYaT_5 )EO(|\h5R)^DﷺAN˿"zhkkn/_u KKkrgy҈D d=gM"6R& 'xR䍺7bND\Dk ;F4h)d)h??{#0Z>NS(; ab< u7hl3`:Z}PMhs!2xr*f rSK(;<48%{Aik qdW˄ 5,8=H!ՂanDEl2&48o~г^='OD+ iu0/njAeBLYz4g5 6I> K{ֳ-$]WrwVB\ۆ+XCdeX ذwq>O &Nc7t3w.-ӷ04qX`gZLJM\#f·ۆu$Fh*)/ӉVcЊ8DߢE=)}E@vglػ|3=/@.e҈n=q徿^L8r,mO=c͍YW6uXE i11*RTkp9:v< Y5]#HRTDŽ$+“v- >ڱڻݑ:Kj^plōuh@Nο*'jwȿ~QK[R~kBH͖ w!Xƕ6Ӿv&̓T&kAtcRv]w27>|}\S\`hbzAԕord 0\٨)4GA)%f9x=%X O:E3 &b|P% 6z]=lT$m^4Ć4]77Y}fWFsȎN[ϐ[plrL?H1oV6R=LP]1T=6+k&' pDU 2ZD!Dx@Slb4PwvdK"GcJ q,6D[~FZ traoFzJB/D7&R=Pyt~hr)d7t<>^v*oګynF+NdC2폗Å t@} zb,:-h Pq1l@2Xb®dF[_#Q Q^KG1p(^Jig,BYѤ,V ;MP2- {%+o~^s|yΣ\X?bIZЇTTLo\lFessv`!RU_VT*źSfY"Q0>_8zH vO}\ӯ-ŠppYVnr5fSRYPIw*ɤTLrQ u~atoe;8v{>_b lJ?7lePH"U*}řH~}qa9+N Q0 U;epϢR&p@$,90ߓySQ7c[ŁZ%%9,41&-ςkUX\dŪE!`m$O˰*)[eA# g\CQP_Wk[䙇/&+VT f\~EU/va"#K$a} <+k.q)M !!$[j$vjaZ~K!͐,$ɋbnoqtR'9cZjRDodr?Kw+l+m"Qݪz>>k3Ŭh)5lUPSV)seELKi`V^0.#PCf7~Yix:jZp9OP"&Fa6z%C^ua t<B  `{8-| \fz8v)N'J7oAvZ^2b,"*9aNW"ٞOڑּ qd tv3HGn׆"ciy@Icb伱El갇C&j9,6[rxgP&qt+E Q% |B?.Tw ]_=&K3Vw&bg琛. B'(yUM TXICO@ႌ, l4TASVg~^@k5BU)4KAw6[ԃ}N½G 7_=IjoH/Qҷ^;'QfMG=۰"ފAmrK wm69"aj5.i=+g;-ER6n\Vcеj騚^)׾ˋ"mQ ^-jPXi:}>b I}f9;Eߝ41@1$؛yT 1;Wo}я?"k{'SɯeNl .\OI% 1`X6+ PAV7wq$TZ64Vl}idskN[ZEA|l=eNkAh` %n/_g,áhP#L@—igcEםu4K&ݒD1"LOfpz>=$qW|~1QYBɰϧv^![#MG,ڸϪӲ h=.@U29cfޅMMDAIqoωEڡֳ5<蟞`lX)n [vؓMҕxvx %g.I`>#vxfPi(MKƈ&$ ;S"22Epl5jpt99` U8>%3aa@4MB1 '`w~B% at!q*t9$~&pR,:l2|pQ_ki˄-MbjNm|4”mpd@n(..nޘT B.btN%ؠ] GPިVÓ@j6`1;ZA,V \W(4h‘t<;G,LUn2TM Q8}aA|_pK7NȹA 6H ~E0(+G9|p_+g\Q)b_dyI|_1HPN`)x)@*HEBNgUv!\#/x"M7bh'm}o)U#9>~~>G{ w}k3-!)`Y6hjI=o|MqR4O 1pʁuB\Ǡ5Ԓiz.ѸXvr/d/aXڂmASyJ <2!d``o Ukb?W)~7b@JӨ-%O3%?>+(WrvrFqJD-fj7R2/+0@%a[򣅢 td%~r6[ix"ߵWDpg0-)@G:,{NJV^ca(R$awޟٌ9F)" EHr<֫FYBtlr.&(G0NGVixΖ 3UsNE=ѿ$`-q *γ@0tZl&U3!)F\i x5{Dp4rKZӕ &Xf$n>Z+ޓ8Qz׶Yf  њ1  PKfdҞ(ħ?;E0i is=)[&\P2ypiS