texlive-tex-ewd-9:svn15878.0-3.oe24090>    fq ;G|`u` P 'So:bjút0ZarX#y$3L-1dXT*]*(5hJ\X'['h\v2})E@芖ʛ {0A|ir@Gga0HJ"M5C|RQzFwxqеyI7QR̫z;1\|9Y€k*E `$=)a!Lpjb^faMpͱ)B{QXo0lv&9+ :KpVᚽI҃tx'O,aG?xBQ-@gEeX`4o+>6:x\F$zgUG^dd1de212c5357359c0a31cb1d7a230c67d4bfaf18e907971c694a3f3a3f21fac2563c10d6c6295e5ca7cb299a866a04f2aa3eebaիp0p>;?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".f;dc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤fIQ-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 1726662459202120219: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 text[WW5@3xutf-803a01804116877d7cf183eb6f002e7a11569344417859a4877a4f3843e9f2cc2b3410b23ba502b1918548ce6476165d32c6a81a68c5765cc8d482d1630782c34?P7zXZ !#,%7] b2u jӫ`(y0$ .gXP> ϣ4ͧgK󡾒({=uUgS@w8?`ԞY 4֒wI=!4QַJu7߬#7rű-%U"(])" ɦ3 C0i)!l.(FJ ϫJYM_ {ӵD"kO#I@E$)p7jhqஉ9ڸ=ܣ|-(E+qo4Jc6t03); \‡A o޺ jʦh">t_ˁʴ$o=Oǘʫ_X¸j J6DZBvUpm7$%thmsSi*qwNk)ٝc#ӟ(8Ob1Hqh.@"w!"&I'm}L^ӌ/{z`׏2/0Gtۢ,=U2dkD0 $Jg hu!|,iܐ@<$&SXI18'G+̲G[s*& XI%EH6kJI\e@[Q4Xy8W+wZQ;qխ|=w?./LìfJ_`?mm `Iy08P8F0"0*f\A#)B͢9Z. TO# D,*DW9N00k7R2"5!) a!<4N ըW&2 .C!ý]j2;4e]OTĖ֐r'QUSd K 綍[cIY_Rr^@7IuO9Q2S7 {;fgύKTaR|Zx#Le5ާF6IaqOV`blA] @NcKVH9( cԱxxo_~;Q#77T:vC"\zd ^$riJ ^"ȅ<~rKzqMOУ/ߣdM0{Ma照SFI `6EXyo$ m" #Zik~^]T/>R3UZ]wG vE1'8 2fсbg.Dgl0"\7ӲktPvKD_j[q0Y ^-3`cMyu% =elpoζ ̐BYFW.C{?429(ZL;{\m RBrTM[+ԑ x "'XB1/u*t×۝B`逨INeҪTӻP7@7W<)tL ;^tڽ-$1/$cM0˪ܽMU1*QZ.zlAtXWRnbj~(6\݉WLsCCŢ+><peae^' iH@OvӘ?VFh&GwDE_΍]\x~L9fec[C$}N-H{ Ji-|!IR$|$9s~.RחwI{]x$q%Z(E}ο6OۻQ~iXNpk%./YX#BO޴q!M ⢥{L2]װӐuVEDabs/(f1I\df{{jǬch{~$~ņI'ʦb0{L|2oc,SB; "g:_uƧlrN]Y6vZk'RZ% AOa{ IRsW$<'۱"ؽ{̎1;,{~Cʇ'G:7{r,T>"۰ăfbOrUV++N-0)"Jxa'|w2PUvMu/"u;MNp?u4kXAב˰E[yf.XX[)?%ak̴=:PH5"?p^/Ve@BjT(P]Lh`95u0?m>ly-P蛍O/H $0znq(?˜PH[DU-