texlive-tex-ewd-9:svn15878.0-3.oe24090>    f6 ;G|`u` b␔Of6IqVW3A鐞\OurTy/+$R.ޤCnrḟu yli^Lr Ka'}ؠDFWE u̪USEhB p;f_hiE.p}1ȳ3ټ*6< [YV"_V5, QnOUaswfcxb#";3sMu斞8bs>͜HZ%3; £p<+)IΎ+-K|2O3`̔9uɮ*lo$z;إ6'X FI0 <&^_kԘϨ#h}6g ʯ1e2ec9dd1bbf16b1fd56c1bb0dacac5908d95a4abcd81e1c1d0812e5c0a75e7f0b0d88e568260452daa843af73bb0f592b2bc343c6n\+C>;?ud( , tPThlp     l p ((89:jF'GDHTIdXhYt\]^bgdTeYf\l^t|uvz04Ctexlive-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".f5ndc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤f66Q-f5I&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 1726952814202120219: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 -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII texta5 I/R0utf-8fb9af69a168a3c5173625e9f4bb2cbbc6bbf04c6795baf51052d24f4de1e02599628519605ffe84bf97c6b0316a933395a19b7e5b93f6865ad03e2b17d97d48e?P7zXZ !#,%8] b2u jӫ`(y0&Ur][Iq 2P8w=hB̐rV(pT]@% 4HF׹ Em<73;pjGW jpthha aXz3 8~e)-:]mI!+: F٧ggH~y}~O_ņLir5䡚^kF3aONER'U2t S a"xc6].!{0˿F3S{r9LY“WC ;Fk9n . E \žUAJ&,. d{#Nh4d5tG7cEP,ljg7U vw˿}[Σ ?'PFZknE֝K5lX 4Y,DܘͲO4HQ}W]POHU ; ~uLw}ӕG8 ;]w\ z^|-&2[مI4lP_lAWCdd&&.Zke|^9FX-KȑXEݔSC L;; ѾIVǚF9QO!>w$E95#d\,SSmfPH7\ʥv^ۅɁtB+z# z*GM=Q.Heq=i@NrB!:ӣ~#7Z& ՇIU$&iO4j:fSKd{*bGfN춷{UR͊kPD&=vLʮ v {RFvo~1S`uCDOl,1̅ q+*ppɌY%{rB:$lgly 7;% '0&S@o8Qc޲mjR8hT _lJ(j!'e+p`h&8ˇڻ'h3̬z)PdUR3i] 5x)?`x:%FQ[M(F28s俉HFU 8O}@DX o^rEFKg/o4 q̎w1z4-  !.SkZ&q&hNTN(UfvG3Uz0Ύc2'>>Qv}vl\Uwpf8p؞򈥂7lٯ WHsC裬2xxFy(] \9(e;wxa_P7'_Jv܊$-Y꣓+CG't91'̗T듙2ǔ$ZEx o?,'!AqSZ#$9I=o5͠ G2#-XQ.(ubN(L.{|Bwcj) C+[p =MT\­ f*Q G&kÚd ~S{[d\k1-swa<t*&w"-=n{;G*[(74 1Sd; Ѣ-n'ܣJo vͩ?Kw cT)ocH8W#_ S6Yʉ[ \V ;[pefC$9z %H* U7B\}k!:D/d@^i @#*]Z8.e we$`8R}.Dƀd0Qq!(ǔי.ʬ ,Q!٭̲IsL+W um=͵0JLϦۤ1e=Q^sǕSx_M'E/Ct=5u+MKT8 c뫬ND^#W!I/Kԟ(Wy1zH!VW9IӢw%DX~ǸżPjvx3A8i·4YhC3oz].]avd2XXpgܸȴ}Y8"T[z1BlQZvuSxe x{cZH?R@H~GM9rFn0Y Q&GLEc}O5q\Bcկlyy.x%zb6ν-G# LoXߵsiW˟hb<^<: