texlive-lkproof-11:svn20021.3.1-73.fc41 >t 6 6_ t3!Flض zE>b$bjf b$bjt#@Pc2q J bZ}2pT1!N PB ScSܘAE6fX}*FP}Pw {3wߍjpSnd+yC-YJvoD&q"mjP^(_T}7VZZ,$sus #vv߀Oo62`ߛҩ!/c]'$&vlSiQ-Pgэ%r3f?_1ļb=MFZ([pɼ}.PB,=DWv,!o " s#YW_*n7$!\۴; q:AEOZ < BpbƩ`jݲ͵,_`8\TM#mQ@\(-$P=Q`3=c-LY9o#f`gz)Q͊=|55U0IT[x1fEsw}} h4`<}?md( , C *BHP` h p   ,@`pL(n8x9:G TH dI tX xY \ ] ^ b vd=eBfGlJtdutv(,Ctexlive-lkproofsvn20021.3.173.fc41 LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.f?buildhw-a64-06.iad2.fedoraproject.orgMFedora ProjectFedora ProjectGPL-1.0-or-laterFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤fQ2fE-2d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2023-73.fc41.src.rpmtex(proof.sty)tex-lkprooftexlive-lkproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)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:svn20021.3.1-73.fc41texlive-lkproofgpl.txtlkproofproof.sty/usr/share/licenses//usr/share/licenses/texlive-lkproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lkproof/-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 document, ASCII texthttps://bugz.fedoraproject.org/texliveutf-800595742221a93c0cfd34284b3b33416042bf63bb83667a9f78b2fd558fdbe3bcf220525dc4a37a9a1b2964bcf778cab8c3a45a6f8fc60c03482d64207cae955?@(/hʾ"-  zJ&u3ZKDsjaKSG5O5G[ۿCGd+E;>ߣIȷD%j,A}˞+Ao,/tOGgǵw\&c".2}kc֒G055UJK2@Njˆ6h;w-ӟmA-;mH;=F&7ywFZۨ{vSikU(ksm;vl+ήk_ɶn{&&s5co^'RTb`l=zm/8f|s/wI|rn;gƵ):|+;Tvh{4R= qrxn#E mb{8'YcGU4:Yr9꜌ u! I2`: Q'ui ܮ QË>9‚Yc@Xۦc6bIĤf?u/yOkjXߨxs6 uP(ND氐O$B'iŐ;xn$%ݸ[K @E?5* ?p1E0E`%ZA:!  }"0pmE`\\8 q5)"mG<&pm6neYL:h @.BCOC@2@H R @pu*gr娆(7g/e6BBͬ'fQF[ ^*7 ԎpZemD+r$Aꠒz7isZPOd"b;2Z<-y'4Ȁ1iŸڎLXovvGT1들XY 4U^9zvZ_EXfOt3%$ C;4V҇ RQQU*]6ơf9Ю8#N/IIy~j2VR[<)KaTOS\pZAIq68}Hx;+әd{KvfAY%M.c+"[Z-jq@^MJ fZR$Ƴi=(=lD#[M),;b7E`tϸ "[q4@L]тZ_3Ӈݴ tRI&юSBIhc&"gCNϩDQ_8,)p!G&IⰓNj\Djt7Q=ߧe Z2-3"vn獀-;ō,H^PgUx!Qet~^O'sp&[_&.ArCfja-8'D# y4l)1k.v鷟vQ i Ptɳ\jJBa'f} | I&iu=@C_&N`hD*`R\<|>*ǑTU,dO!sFyph=u/rbO缹w)s>GxJ!*C?;>~ Zݑ2dBhצ* > ʈP M6ƫ3AƄ uI6,0D8[U]fIrPՊ)? >%8Jī׆hF9@lC@?c s#Q(D"6FofX%Vw`Qз|5fGhfco09>v bR$$=G cxd|PphlgEIC-~zYn jFJk Lޗ^uʢK/zQ]E&SǓeLYRFe7Xv2Xo4IfONY8ΞMI}@$:]ʐkI<]ܔ*i,J2{Q**N0j[M%PfJLx"u!'818Vs vZITUfb`Ko [YO8THā8J#A'J`j=E 7TwpEIȲoUc?Uha} 3w$Vh,,{ܮXY({P y4У pMs4&ҧAu3K}Gtu-{gkf7:Dz\9-IEDp* tR?gpB\6.0+(9,>r%%Di'!+5=J]J-(x!e1P" (Xq2?.Tv RymAA=/N-|󹴽&\ ʳ5YԀGDJ0}T/wd.ݮrEWQM.Ty^W@? <4`,Oc(X#`J cV7tAקo&EwJfiloSu(b7ӝ]'`}2Df 8֛\JuYe%E +zoL k))#Y^߸B m`S>\s'y Fq'B+թyEBK4:U,)ŚstM?8 6U\&*\zpiv?VRpg,rv/%:Gj {p a@>P-qJjE`m@ʇӥށSOnۏ#,'@c@qi$*`֠gU~8U&=S 8+!58W%Y]AP YmS ?M̀N>2 ,/+llj,qSz|(.%_mI,p#=Q8Q.:9vAS`_?Ń)pԕ^$kjO" Sn񍄅$!CkÖ,ZA۟R4$%-5[N綕Us=X [ ̆cl /i (VO4 7ıWQzp]=T#vΦx?Ti^9ϣcYS L]Z1u|2ng45@#TZtŕ @[-k4( )tFiè(28>0L8oN$vJ =^@j?r.%/l9`+[ @]nmI!@?s߃bxM*)*˘b±@kظ@y^4" :{D7PjS8zr|8!NwZ.t pdrB0I<]eqPWP"Y1,@`۲HtUSŢHKٚ/0r# [o]*n0UҘG${*`Dpǚ/~Fǩ *)7/+/cO#]7OUYoN]Ok!@ B1&m9veGE+9% )PHGk$#vW~E4me O?ܨlk9.2 `Чgǻk4=%ȅ퀫~5۝xx: * ;n QdtH]=`npۈ/d ,Ϡj$vN;CNԧi] ww^ҫgUj1%Vsv[l{SjHR~3 ,)aVܭE< yJ,]`A.X|N,Q3<ʊZ c3؞RM0,sW"GLaugC RQW]k. Lm :2Zf>CO;QK }'oT6/_]~=Gӂ/_vsG[cZar#!Z2jAtr -SF#=Drl3bFft"@@Y.`Y7E'?#m%ozTcՍ8^3 ^kΎ* AN`)ӄ2m$ҡb_ 8I;{