texlive-lkproof-11:svn20021.3.1-71.fc40 >t 6 6_604 @3!]W>D] 'p~[ye 'p~[y̽3""$}T>Kk>Tqhc<ޙs>W,ejl\ӝ,`F̓-v\x[d)g5! xY:6B^63ۇ[bg1k?C石TϻhU#'u4V]Tiavr\ 2+솮ra|Wޔ[bnA9j;lf*IH\_@:1%z,'EmbgisGNW?4?8X"t}F;dHx-s /j=gkNRI6|zDPTk}n봁9zUU(="+Đ?H.X#2ҙ ?8jϢjL_Kq`|To%WS e3YuU_  DM, s'464XqOlUx_IL_ܽVr*̤hiD:0}B67c444d8157de2e21b1aa476bfdb5dfe4852bf1cf059ae7c499c468533b79394df1984d6a5a8fe7c623fb62e64cd10b9c710eeac030204a3204a9e00473045022100c7a107a61d1e526edcfe7ea4d0659c0d54bac56029713f6c41c27b972b01b08202207de7861440d0b81484b4d3576601661ae7c3bf412a1efa99627503b29499942a030204a3204a9e0046304402200a5e64b79f2699cedaf32a1138682ad710a206b3ce406eb33286018cabdeff6d02205f199f6f4fe4c306150f823bd2ec6f85225b949fb8d63abaf4b886dc05a8361d03!]W>D] 'p~[ye 'p~[y&+jy鯤`(IQf-AkԒa]mv`>wo)XCҘ5-ժl{x$|"@36Z_I/8OXWYJ,2@/6w9w-8XO97e`™*@cno2HMhOM={PEbv']+`0]ٞUM:u$&b?%cnUy?2;p!Tx)64Q .9U \<*itq ]]iԍrx k5 C(\r4\yet\^Ėk|yt)TFBB*ρ7[}}vnk*"$ )ChjډnO]Z14C

`<?d( , C ".FLTd l t    0DdtP(r8|9:G H I X Y \ ]^Fbdoetfyl|tuvX\Ctexlive-lkproofsvn20021.3.171.fc40 LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.e[buildvm-ppc64le-08.iad2.fedoraproject.orgMFedora ProjectFedora ProjectGPL-1.0-or-laterFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤eGQ2eGE-2d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2023-71.fc40.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.1e@ed%yd"d?@d @c@cc^cc(Yc*b@bb@bV@b4t@b/.@a a a@Fedora 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-58Jiri Vanek - 9:2021-57Than Ngo - 9:2021-56Tom Callaway - 9:2021-55Petr Pisar - 9:2021-54Tom Callaway - 9:2021-53Tom Callaway - 9:2021-52Tom Callaway - 9:2021-51- 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_Rebuild- Rebuilt for Drop i686 JDKs- Fixed #2073753 - texlive-chemfig is missing a dependency (texlive-simplekv)- use biblatex tarballs from CTAN that have correct {DATE}/{VERSION} fields- An empty release bump- ____ __ __ __ __ ____ ( _ \( )( )( \/ )( _ \ ) _ < )(__)( ) ( )___/ (____/(______)(_/\/\_)(__)- correct bcfversion dependency- update biblatex to 3.17 (bz2048536)2023202311:svn20021.3.1-71.fc40texlive-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-8fb64ce1da6ba5c34cf8dd0384b1ff4c11cc76cdddf6f09ead31f651d738f0d82e7dac4225b4877e1f5d4a1277dfe8376debf2cf33c325158e91ecdc2172fad0f?@(/hJ"-  zJ&u3ZKEv469eqCSG5O7V}{Q9Jhm,QKP"8w~+JF:#a{B4{|v\Ǖm2V.)3Q׺v{>fm-z ^sW[$䔩f+h6yQ{9VԲi߆#cirw`TJڻg1uH^%{o1׶SmǶG!f(lng/inb:W>u"Kfg[֫o{,}4ǝ{g/KW{wi`>3j:gJP١јKsy %'ogˤ/#Gڬq^Y%;N׆RaAP*Suzn^L,M4Zqt;Rzݭ^n=Xӑ명!Dp?۞܃# *ߺSbKuh2Y 5:¢ ESTZmW2'#_I=Oaߣ0* \\d()2ȏ[%T3콭dN^ ZF[mT6~s}vc*(GnG'n;==9ݶI6FەŽ2#te B gK:t/;;YUZ?~~GфSњUӚ r3i~5U pyi[sެfHFG*;n;1qvQDFFJl2Գi-sR Ml;_k皉GpfV,3immNP*zycRٰFW 쩱;-m5UO{dto_K~ 6n*cc;k(j4Dga ['RyT GeaW"X0 :0 w`&B, % F2I}-C@Z眚s4 R;W%Z0c֧8+;!$;b*g<]s v4_¿ޱWz?1_um"ˀ [oteL @/.g\.cz&&U 8,uM&iWh/[3"3|=Qf\S[W=Z56wo,y~m? Ld7UHtM #dͥ<ê \dm, CYve./̥P#]2uT rF e}UmP LƲت& eAK%bQX]T( PTSɐ3LUY,QWFcm2aʣTŢB`:6 B*xQ8T d@jUa֤a d@,FSMUd aLCYX.L]8&fb 4a(& {d,*a cL  ,k \ecgNy⌗Ы߶U`è6ȇ3Σ^3pʾ}ci K5Y C=_+8 0Gn0z )ǫ?AC/`NMNFRƍ Ͷf5΀Ў]EEAC%4l.N"\8X8D8@803Dܳi&qE-* Фg IMXnrd&HMNB8! ,Tq8ioD\gpbPq8HFe&7nqHڨFǹz?:_Z=X=MvzzT;wnpD@|z{(GދA (pN6htr*/9AN9CPǀ$D{TO`@v Nx^@LBVgڶq?K'&5p[x{zص oTr9u :^|'UOsXȧvC!iôbH ?˨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