texlive-tex-ewd-9:svn15878.0-3.oe24090>    f$U ;G|`u` v )DA7mѪ[|m8)AH)cаBɹ)ryqi@1MjJf.TsV mpIPF.{lGkp;B{2p(ى9k~AՄUNӢhrhdBsspD`D>t4!g%&#?ôcM%ܳFW߶әЎs-mXQ,6¼ tT|0A44OM_2j);NYSqt/E(jR/h1FG HZBk݉wNzyDj̔oޤ6Q0cXs$X|'i,#s9Zu \(U31817d078652b5a535a9200873e2c4dc1f0d313a42a8be34a511f7fa62846d29d4742a8e5a12ffeab105b94d946adba3e4b7346eݞ:|"dh>;?d( , tPThlp     l p ((89:jF'GDHTIdXhYt\]^bgdleqftlvtuvzHLCtexlive-tex-ewdsvn15878.03.oe2409 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"dc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤f#Q-f"I&865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-split-w-2021-3.oe2409.src.rpmtex(dotnot.tex)tex-tex-ewdtexlive-tex-ewd    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.18.2fą@ccY!@wangkai <13474090681@163.com> - 9:2021-3xu_ping - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification- Fix fmtutil.cnf not found for 2021 version- Upgrade texlive version to 2021 - The following packages no longer exist: texlive-docindex, tabulars-e-docdc-64g.compass-ci 1726685905202120219:svn15878.0-3.oe2409texlive-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 -g -grecord-gcc-switches -pipe -fstack-protector-strong -fgcc-compatible -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS --config /usr/lib/rpm/generic-hardened-clang.cfg -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textz"1d\CɘGutf-8387d071df9f0d14471ceb6fb7d10a72531ac9259fdda68a036ab797f3fad51c22b43d799f3424c397a2ec204b0a7843a4c3b5381aba4ed792051d77746628171?P7zXZ !#,%7] b2u jӫ`(y0%,`˶w,MB%hfm .VxH`Ki1 cͿlAMŁ] 5%"/GgMi(ʫTX#*iV9廆ކGvuw}3wfdi f_bZIAa(mYJ VXIvWZGZ>V{EiiWrYLk'̀"1޹A_;&4&⡮uD $vFSӮ.29M։EzO(BhCrRFw(-tld*mU$Ƥ>ufƍT/PG/'mJ)9dRb0+Ĩ IY.PiQUD23XMF* 8BB%Zi$n`'4 D:Sk?_)?CC@qmƒ,#nA$>(q[]W7P@ZwE*DxYؙ Q;2@d}f<xQ- ĤQ=W~ mQW9V@pNzbN]D &{eC~$c<`pz aRfwgCzE$3H {@V( n}՝fBa:J)!p@ΎXE%5cޙV[P4{HLM3hw'+%CN̺f@Dmg]-lE縢/\Ϡ`4}<0^}UjȬѪY33(L;qh0ᩂm$k\x僔x3 q;ѷU?M-#wX̧J NˮRZ "p~C& ߨ1-_k52a e91Y;SKQXVOCy/ѾpCU` *OaH߆>/OZƖTn"3mko ͡+C^zid6R ~j(Jqgwğ̾{E((3vZ&lOW @*T8X}F ar^F?F¸E bF{A {E}~(:U@ЮPX SA)b0".hTM bQa<| dYq [H<8)+L ڇkf$L %vnm \@Y2y C9^o](ATtl8`J"HN^. ۩\ l(pge͸R0 RuP^U|E^(|'xDRyy>c] b2y0s6I䂎f%Ry!V#@RO{)V^:# +|.p]@?|4 D¤EyT"v}|oxG-ōNʛCncgAI-MHw(".]k<ooģ{T4M(Zb%|Al?8ۘ6{ȿ.Iܴ9aעT=u\|b0?GiL6΅SXQVopS1Y \H_8z{M&YIeHʛ:ȖZz~ 42Nvw N^ 0-0d÷1F`,?g05=q̿ϩO,S9uv?w9!ԩhQKcJ,"dا=}]%L[IAKMiv$SNFd $ߝ̥.S0nj70 Q GQѣKXP/@\qvh_$ۓbaQśuZxZ#7'=ZdLWb27iib-ҩ=|*R"h~#4Uj  rB(ʻm^Yu ܻb3f-IY&~`ehjDJn/5eFZVb,dMGѹ,oU-hucAFvl sBrO^ѻb לCUFy=wYw}D–Hs_S̙[]q\b7Fخ%ǘ%>*39, 0XD'd)]N)t!W'_à`XlG+ɇE5;>,$򘇫VR>&mE`?w9g_ƕ/(˿ e\Io+CיBL9z.:L;Sy QwFbqKXj YZ