texlive-tex-ewd-9:svn15878.0-3.oe24090>    f; ;G|`u` ټVC@*7&E!R~С;?d( , tPThlp     l p ((89:jF'GDHTIdXhYt\]^bgdienfqlstuvzDHCtexlive-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".fdc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤fQ-fI&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 1726656250202120219: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textmng#ZJ>d0utf-82c3bb941632ee117381dcede56329013c5a4058150062e9043bf21e539361a47d505161a0d9752179e183b44b73ca6c7a6483cc7b08526b8a114ba618d6398c5?P7zXZ !#,%8] b2u jӫ`(y0$챬oo҃r85O@:qԣRuI#T1Z߮.kƒ[.4v/9+^\g@%D-FIpB0N5HUnم#Ws.u^+oo+7O i5UOV⼱C>orpia0zwlƦ~-ѾeD-)QN@4d,zs[\T]A.ң9Ѭr\BIl6I=߫,+-s6B DbU4~!G}gf@gzQ^zNWyO_<'(*s!燘a1,w]A&OaK,'@̲ %l,2đۺ龽>Vow>R.LU5~m|wŇY3ۂu~Lx65[M51:jD|l@ŘN6aaV h:gC9H& vPCa`h-ٖ]U'IZPvh,|1+r<V-1jZ 5*nT%*l4ibkKKC*j"xƮ%bbXoU%am#C}0 `׾lq|9y>ʎj6zHvCY|H?[eK2"ji~BesO` O=g2 T2%2)0VVLi{ nU>YUȩh;{t5*H`E {>ykRߔ|eh«6rL1,_foکvU1ia)*~4} եZ ;# !9oJwŸwwe ,b [iёz~%J2A&>-Od bP//KBRZV6 ȯ/8E%JCj;iȇ VytΈ골ҏp/Lߦsc1aZrҏx#O!ҞQ (]<+ &.5'lGjfݥw{oQLGio-Cv~e-tڭ%s躪]V3`ΘnfŊ|Ǐ 0ѬGjkɢ#9y%k"gWH/i~ 1hJg}> 8CJ3YI72 9v̑1ۣzfh@ͨaM?d#ni So[Ub\Ӄ峃í6W}nί@y0*~EASѾIeW#U !0(*MHխ| ,ߴvV셩X.XSgPB aNT<:TӕlR`ZTBV"š%)3F 7]-Q%7lGiͯ0濔w NtZ[;Bw [C~ka¡֟j(JzϙaA)DWxVB+!ERB|([YZ廖!Zu> T>y~֖&J<\CQ] %Γ ! *WR@_/9tXTm0 JAˤqC ȚFR~l Ȧn.q314O,Ulnp-=Qtk0/^ /k *Ld1Y҈Zd?8",: M^>^Rc8o(jF"/Fco\ |~;& `@5U^ zLF~obDeh/R{Q?, o B&^au9AK=zD H8;W٠~ս 5yW6/|/p2 X.˜KbΘV[U wJ;'Ljuq̌ Պ5Եpfո3FܺJUSϟC9 C5^]x;B4^hsi8t0,lsG^8<:.67+p_|6&{mk2]{b 2\\(GkfW0>:ŗ(@[~(C8/^ }:&!zv!ns0hN IN-UIyУVVn2ϐEJa^V:d̺n /{neU 8zo1j"5Ic({a:[=/ KG59*+؟ R;D<ǦH<ǰ&acKઁw YZ