texlive-tex-ewd-11:svn15878.0-76.fc42 >t 6 6_ t3!XPȬI^Dg ȬI^D!%x XpBRҠc 6^V 3ɥZ!.X5SېIXb4[yն  }G\8qUl}lBmшإcC8drؕD9q\.Hm va^L} #fjْ0D*PˎGq}IDPx$%d輷=ed860c38acf84a200de925735bdc1d40199b56771bf203dccd2ed3931165bc1e43602d01f4a30b1a1271c168e56bebd624600f1c03020462f02aa4004730450221009b27c24e5f41250780e72ba4d68307dbd2047d0665d9714e3fa3e121cbef5b7e022072e92c419393919a6852dd768e5f7b570985a308e1f0fcbc6241c4f07811a4a403020462f02aa400463044022049b591ba1be8f705ad42d2f76bb547d73c4986de783de3b6ee384695e24d779a02206efeaccd54b4b06421d1572d3e5d50658eae60d924e6434e0a584ec968edb96fP l&ڦk:f%>`< ? }d( , tPT       <X(8 9@ :V G H I X Y \ ] ^ b d De If Nl Qt lu |v      8 <Ctexlive-tex-ewdsvn15878.076.fc42 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".gLbuildvm-ppc64le-25.iad2.fedoraproject.org"Fedora ProjectFedora ProjectBSD-3-ClauseFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤goQ-goI&865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2023-76.fc42.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.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:svn15878.0-76.fc42texlive-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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redhat-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII texthttps://bugz.fedoraproject.org/texliveutf-8d3535e5e3e3c031320b4abcb9f15cc1a5b4362a9cee352ed537474127d81410d6c8751bfc978b34fee5ee932977dd036023065ba05536fa8094d1fc337589238?@(/h5x.̬Efض`UTmvlkq0 4*xua4Ft0ؖYnal6 i +]&ζa7Ʒ΅O 6Xl0 6Vi640)㸦]d6G"'cX~el3W[6, elR?Cڻe/3Ӿ\Ai7*߉I( '}KIKyT%YR=n']ZS}輠?MC>e_EXZ}n>t{:$QAc^%Y\ΥCt?ŢH»3ɔsbR(&$dEAYXHDIluX~yP T+@D#h _ch+[*ȁ}E'^+ ۉ|cqK8MAZ/?~CکRWKQm喠_8~pTrDR0 B壵S(NOJcz,sgǫNꧮ3{XY3w'9JG ePbwIDVŝswN; EV$$&o3x`R a 2c`>u0 4sa6WLڸe6ʶAƹ6p 6:Yvmֱ6+#Mh]lAviZIٰMhWH] , +`|jY644҆Ksa]\$*si`x<ϪϟK_gK/ ReH,#| zq֨D( (* OXq"CappZ%'u 1گ_([n[v=.b8`$zZi{,>Ui}7AtXExpJ+*EybYzD@ij5WT)(=vx]a9y֝ {<@=WQ>~b:_ |ŷF|m` g~Eyr&zU-c?8JQTW$eO T§yCS_?{;v!ljq_evGYjCwF n~4x?Fi/Bx5 . I1CC)@'zԣԣ޼G$*y =JB##,ɴΟ²-SגI%=2y(` 4 "⭥TC}鸟l)=9EXr{\-1GT`3\t?vMCg]=u跛N%'$a@a7Aã# $ $2MRP_̒கwλAT\KҞ)I$` ( Uɓy=,DhR$pWա5G^v3|,<=QHPyU7 oDfUua/^]HUnR#*o;P(,'\RsmO$zր&C^in,>\>*V47VAq(p0r P냞;[phwDeL'UAr*KeK\_s3YI2O?6 nKH֠{Y`Tv1+yd5rU4+ z 'L.I%T]P^!FLGU}zJ3ĶOQwצx?6} gbO]([rek+v!{]`aVV{u`C]Z )X.Q`N00`GUN-}Z8s ޚm  Y$Ɉh 6~|]NUoSCg䑁O/k{jlqT\1ꊊ4&VXzblscб#'W-Ltw0/Щ~P-A]e}w S,!$ $_YaHO_>(^0Z(モ{` H0`9,oIZesQ>xآD7$MWja94scF=kGjak5!!gKayI3i$uų5,K\~ 4dn֦?åϴtkJv|#dUG ab#rܞ;Ef @tL2dd~A+ 2 w1"|a1ǴʇNAb$gKE%?K&ks(Va!ðHd2Pʫ\FPFז,39J֯ ״W!Eʅ;d}&U~ruLz=zoLBNޙ#G=kQdF+PFe44}bDwaŮi+XcTЁ8K=afᤡtsJAֹF9{LQ57k2)kӅM{VAEPɥ; RJd-1K, -Jogxr䆘4vJ)ʼByjDqs~R9&z~=E`sXk̞^ cTl;:Ǭp+q%!9l=A aebcwO` /tZ9W",7k|v~n(^؞fsk(,$xX!rQKhZq ]1=CV ;V8>PBjeNEj"^HU#YY( n.- "d|I5MU)F~.*VgTt[e$