texlive-lkproof-11:svn20021.3.1-76.fc42 >t 6 6_ p3!XPȬI^Dg A ȬI^D25h$tU9i?xA]6Ǩ x:042(h$ ұ7hF~rIX6&P|Z Ox(I2&`< ? d( , C ".FLTd l t    0DdtP(r8| 9 : GH I X Y \ D] T^ ~b d e f l t u v    G M  Ctexlive-lkproofsvn20021.3.176.fc42 LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.gLbuildvm-ppc64le-25.iad2.fedoraproject.orgMFedora ProjectFedora ProjectGPL-1.0-or-laterFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤goQ2goE-2d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2023-76.fc42.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.20.0g@g@ffe@ed%yd"d?@d @Than Ngo - 11:2023-76Fedora Release Engineering - 11:2023-75Than Ngo - 11:2023-74Fedora 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-66- Fixed rhbz#2271057 - Upgrade biblatex to 3.20- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- fixed rhbz#2314476, missing dependencies for package texlive-europasscv - fixed rhbz#2295803, Chessboard requires skaknew for a font- 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)2023202311:svn20021.3.1-76.fc42texlive-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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redhat-linux-gnudirectoryASCII textLaTeX document, ASCII texthttps://bugz.fedoraproject.org/texliveutf-8481d619811c11271596e6744a6f0a73e0544e5c50bd47a6d6a68bf584a21fc2807de52f2140aff64853be745f67a7f4926602044aae47da0da381b580ee87f8b?@(/hJ"-  zJ&u3V MGv469u8kAjWN7V}{Q9Jhm,QKP"w~+JF:#a{B4{|v\Ǖm2V.)3Q׺v{>fm-z ^sW[D䔩f+h6yQ{9VԲi߆#cirw`TJڻg1u=mJz bmڎmCuP+֍z^tFw}mD < ϶NW9үYiֹ˷[;^~;j+|f\HAu[ܡCۣ1G:i5VKNدI{_FYz9KvZ?! 3‚2QAT*'#[`佘YB!iv^` [~%#U Cq Ÿmfio} Ctl4|, Cpa\ivxbaQq-qєVە ikrRmS($JŁ@F蔋 2ȏ[%T3콭dN^ ZF[mT6~s}vcj(GnG'n;==9ݶI6FەŽ4#te B gK:t/;;YUZ?~~GфSњUӚ r3i~5U pyi[sެfHFG*;n;1qvQDFFJl2Գi-sR Ml;_k皉GpfV,3immFP*zycRٰFWk 쩱;-m5UO{dto_K~ 6n*cc;k(j4Dga ['R}TMGeaW"X0 <0 {`&D, % F2I}-C@Z眚s4 R;W%Zc֧8+;!$;b*k<]s v4_¿ޱWz?1_um"Ӏ [otiL @/.k\.cz&&QFO*ym:NګtZaIp뗭H OԞ(ysi3ivTNnӫojo;߷[ike}W<}r a&jcGőEi2RMaUSm.l6˄ 2RY(. d@Vk&a/Qd.RG n&GpSnb G h0N`=jeYL:h @.BOtOOC@2@H R @pu*G|伇 7ce7CsjH HfQ@K騭^*:]3 IwZe-R*rlAKթ z:OwPy<sEB)f:"{\V~"6p>˨p%]c/$-J!TkQ'i=# i:CrP̴kU_Z_Q#V#$KH~譤A6VQPH鹕bP=+iR Z!UKSF ^QoSSo1ZeaV#]OiH.5q趜@o`P!zU}Kt C#mC~9^cLзX,y97םzާtW EM^&kLZ4īVĈ5kkDv06ŰDk3nSsk'G\i {?URW}x;¤g6&PO!p8oNV.'3 NmYF;DŽ6wO"b~ ? 9|aRDnHeŸL̝/q[ rq%GQ>L72,N0\fZn36j;YU<0-sbmwaʸ#{^>Q;rF/V@]U?,Z LMDw`3^jk 2~ Sa]=IX3ۊYJ,] =ƨ|r+H.ΘZ= \'yGvJaМM7Pa ZyJ]c ]&4TG|ms6r~)kG /"=CƝ2u]D䨖U^MЇ~o8 3U-i;Cm&[L/)4ՠTm5SV~FA JE)fq~)W s30*~G$cƍti FL)Z$,P /8_&rHɎ A^$C'ߙ}vJ:B@xJ);AGTON1z|I(w[eЬEjY^)zioES y+K\%ـLPs"Z_gAVF/ h{(qF?N>/zaE7zf+ZZҏ (_TS*LBA8Lkں yW6d'*أo`t t;P7|eJSA /dW ēVDW,ne7d:XFPJJ2nqzb.amy2}3Sb4&. /<܎ShZH҅y=m fQR%c_lJF#OvFD `v[E g*Y uJYnEx[P4Z75π9J7('B3 `p8c:vFoqą=NOQQ?Q5F(y_"hZa~'$z(kWzeĈZo>OT7i`25Il'lh}˜T\ޟ}Oz-F~T~yH"ރ|G(CRKPSSuNV-oK)?A(L!]^9P7eƴmW3: -%9>e~1s  @}(#Sͬb`>>^ma &~0p:Ι紻}u WvF Og_pܟԮZ .Ӝcۦ#-rH=xi%^TON~0zR4YdHM0RLJ콊8`.^+}Wcl.6xny4d7,N?eXt*r/;C8K7 Őx6"+t\-{bFs=-(βN@ K~1"8H/)KBi\y EWQ"LQ~q8qNi{Uǘޒ: dg(TkZalO`3f p}̆oaJwHMg[yzH7,=Xf){O.rlaDB b  ʽ}h(Sg*=-[NwfrReXp r 1,T$R@: C~)”ƅ-9ȋm]F p/a 7Qw8TJ NF7[{B v){[ڢxXCiXhJv*If"mK)gczY iPG _A7jղ D8!6b8gF%c`Zpf4ǩB_=Mzt̉=NNܴ=(FxZ$?,u*L VP,k;4)})/biݦ&pZa 4裍ףSo[h SN_XgtJQgqj>>ff ]8fc_!ӵ3]!c oӟ1FD1h|e{C-K =~O4F@zZƄx/h}~pAu8<<)AUsƠVA^,xWQF@ppRZVY^=Baq V/ 3,R@k,pv8ؚ;!A4(ba 7 G(rZeڟP$CciXcwՕXםRo?w