texlive-tex-ewd-11:svn15878.0-73.fc41 >t 6 6_ t3!Flض zE>b$bjf b$bjTL< S%5 :}гY;6x.ȩž# JtΜȔWÎWj .EgQnazC˅z^-k9 op73fK=ТUS픎e 6౶F]QK챛dM%yiKW 6n9_ZED#uwYorRև($  2пnolM\E/St:~-lکEw\IKוOXQ6ru(u'uX|N**,ΐƟHBZ݅xa*m:ZR:ikcr:k LS@egɷ[Q0`EߠVfH;25-ۚ|쁛Ju71c6a4b72f8df8af345eae5c66c292cb25da581e1b84839f583338d3cb58dad055ac4309c3395acacc7f32f64189273807b0c7f5030204876d74350047304502210098912fdde416ebc19cfdab1bf73c42899fd9defe295cf20a12fb0ad46f616135022018df2489a3c3aa0d14ae1bc5fb875bb6780799c97d15bc94427f2c7a384602c1030204876d7435004730450221008e76c9d6077745e1b363e3f85e80d00483b4e86b4f0c7ed5cee6eec81662536b022029e8a8ce4bb349ec7d36c0a0eeca58d0783e5be6bfecd48eb77ecafec277b246P"0[ʯXk-%>`<!?d( , tPT|        8T( 89P:yG H I X Y \ @] P^ {b defltuv X\Ctexlive-tex-ewdsvn15878.073.fc41 Macros to typeset calculational proofs and programs in Dijkstra's styleEdsger W. Dijkstra and others suggest a unique style to present mathematical proofs and to construct programs. This package provides macros that support calculational proofs and Dijkstra's "guarded command language".f?buildhw-a64-06.iad2.fedoraproject.org"Fedora ProjectFedora ProjectBSD-3-ClauseFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤fQ-fI&865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2023-73.fc41.src.rpmtex(dotnot.tex)tex-tex-ewdtexlive-tex-ewd    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:svn15878.0-73.fc41texlive-tex-ewdbsd.txttex-ewddotnot.tex/usr/share/licenses//usr/share/licenses/texlive-tex-ewd//usr/share/texlive/texmf-dist/tex/generic//usr/share/texlive/texmf-dist/tex/generic/tex-ewd/-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-8f63c59a820aaadc0e51f93770df37a23761e42acaa7e2abc1b4f7d84ab98f89588e78bac4746e14931614b52f42280462810427a332f55cc5f6b67114f600c6d?@(/h-xZ.̬Efؾt ;M6t ݄u^ywWfi0Khd ,Mmf.l00ٕili|l|X`e:ImceF#2kڕi4Afcy$Yq0,u0 4lsa6Lڸe6ʶAƹ6p 4:Yvmֱ6+#M4/څde8~m 4qeڥʰ2Ypi'uaKCI#m+4eXoL2P?>>aY-Ζ^ ܳ8YF?gQ +1P RAQUGI(:zE `=JNF/;b_GPwݶf<{\ ?.p8AI>#1^ Y}Z n^*WPU/ҳ􈀈g-kRPzds;?ryDʩ{"S:}:4uo6H4{M %<[~p깕2PM6]P=ITL\ TM>%Di#H 1g=T;*3;JR3ZpCF5J#|% . I1CC)'zԣԣ޼#AU avyNP!dZOLaٖ)VpkY$ƒa<LAXFTD|>5?z(pPЗɖ#؝SA,=[b>#sg ?ߥ;ppD,9 . I Gw+/ İ@. BN?}9<,?՝LÈ˯7>tVzb8r#|\mv.6JA_Ρ֋3W:oϿ0 0ehx^QF HQ|DDEb@`GCZfIdvXp; *HҞ1I$` ( Uɣy=,DhR$pW5G_v3,n20' vF aU%"tM3=lt00~Fgf |syMWCæYJ:'YNűv'T Pl8i=A:ٸӞedф]IBH8]ލod}3@#eVӞ ~H&@4kYal.l7陲!<3H;2 q`ԉRl{%'#ýC,:X--;6XrͲaLfeپ h [Țǿ8BTw1(MJOv#D$`tElR$w 1r{@hI)@䶸ed+ >KlG]ؤ:N$UI~2՚~`{U&|q;bfx mjWV$ޘ ךE'frB(ۇV&BUWSTv4N_mpbaZl-p(o uEL-6|-t63_{b+Y4G,Zx*gA,.c_٨I?s>^Df1=]ScUnoY̬6E˿q!MLoܻ)Sw)xJf8USnu}0$ZLȄL-.*ː}NEEFpėE~!M^r"V w9u;iHrxætSԯczڝdc6>ZvX e 4$M1XG)$rLdI(C9E00}`Q`qo au7ەD}ܲ1Tcz C>!o8I|zzF F&_ cg*X%xmk0 Kulj8ZBCTHa7=^GIJT,ۦJ7Vp*о/N8`2STy-|TnBԣq}-3uIh|֤AXOÿK!f>pSb f=]\NY[`@p%r ~`J~'6-lAP)8zǤŠWj'mq>E0+Tx<(ŗlRQTy)hҢ\A=̚KBx@^O7 Wӵ"3H6r!4S`ؖZ9U{C"ye<7!֙]'^<)>$`^iI$D3,|x16޾f2AB ĠhXpչhm潑Yۄ/=HD9qn!a6Z`{۾5g*͵!YP velQX'W`p\* XqX[A"7wbC5`+*NY~a󸴼.98\rTsM&]ԾOW:[IF.L