texlive-tex-ewd-8:svn15878.0-22.oe1 >  A ^yW^^fVYo$*tD-6g'Cn|z՘ylM>8šl],/*;z$<( /4!*(fFT6]Y܁\a8MKY΂ +n[Us6rF(!cFieR#5)[W[hzK_MxFg,lxnZi* @LwBngֱ-.uZ汈pw-EP;#MAF]$58b7b765e4f7a9b44c5a4a4813e72756bab3a7fa84b038ab5bef01512c8609778b406622df68b607b0527332e7bfe9f27e14a770^yW^^fEGU^V=J(jS#:P`yѹ}*h%%KzP?9NuO̺\;'Mito^zǞ_scv] ˣJ3yMoc˴!$ZdIM:3"Wp=@?0d$ ( pLP`d       4P(89:qFGHIXY\ ]0^[bcdReWfZl\txuvz,Ctexlive-tex-ewdsvn15878.022.oe1Macros 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".^y3obs-worker-004"openEuler:Mainline / standard_aarch64http://openeuler.orgBSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤^yQ-^yX8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2018-22.oe1.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.15.1^$D]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-004 1584990259201820188:svn15878.0-22.oe1texlive-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 -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textiwvƀWutf-8a98e95c1a168773678161a33f275c09aa9e609a932d94e13923efdec3f9b607d?07zXZ !#,%5] b2u jӫ`(xyT "~ *x.6Nw8bq˴P`AOAϧ] /x -VZdXD늤W.`u Xs_ UK 7#[lDNa-P$}O )d+_:BM8[cp.qT-jZTHΘz'xq&-1+˓ߞ.8z74|=Qa|vTϲ 9 eLo"9!nC.XNtߨqt +dY)V.q+zsw_7neHh*Of3)~"Hc#h0VO1MZ~t\)5rK*g/'Z@Ukj Anjm|%!SJIl6ll燮TR `;:P{==! ]bjZ]؜lv}C=R8|GkzDnM?Wp Da4~q{Cly7Ɉ,rt%,$~rM_E6騬róH!zlЦ-"\/ y=-dwZW* B#r6zϜ$"+1sE˵؛AGmeZ=&iAP|c Tk<6lGV^?݆F}yǴ6K8<8-ΈzBݩ`vRT7o[#RVNx.kv6c' |K3/wpHm C:&WwܶN Kae;5WDP/~CW!^#0+V)H0o)-#YuxifqH ƼF䪩l唟XJrSLAWPqZҵ/,(F=4ž,4vL?CzDɺ,.i5y:୴vIOw)rx!A PY9N}0.Y˰[\G7:L1aۖ,gcbCԒb0{<R=ylXK0fvvCҠOUA'% GJQٓq\CZAsm!|zFNeD}̰XP6:L*sS599|1)xޞVN IܸUwedgJJ b#o-JCr5Aɻ9u,^*O2\\<ƥIiJ̫ܿjJ[yc utt{C2 ~hUDy1 '@2;S,_ϵMې$p+<~wΈńMj4vKl`^cY#soWb[Gɓ\q$n~3X8&ɫcPC0 .GBBXSչ*f ُyAHL>8֣Li$!,'غRnQ3Ck5לf^`1V)ƒ.Jb_*DwWӘfBsz{t)A}"|o ]?p%Eσ1js%7H zE\Q7CS@p<8N5lbTNh"ž[oTDѽk:h8S{ 5?wn=uS0n-Yzqqrz3VDM 6Ƨߡ$r;1E|}MINSNw}(5U=ɖZq?2N0:`P\&.1>%3`WAjj1)X/(]SȕҸ ̏acxZBކԮﱬ }GMlF zJJ96jJ&k2~U_ty*hT[U 6T)w5ߡз>zFmݑB ΅7(TkռRS^]aA=f9IJi wVZT=Fϒ:+(/>Zz? mBg{9 U}q, N*$ S l|}_qX{U@xI7}.+z j; w$qlDn ]Z7]ks2zOj @r֚ISm|4ul)EYiBbt;f_nٽY~M-LQ ]Yp*~,DK @ )sJ{ӷJZs79e2 }.^'1¶JPd>)dTTY+5oAԮr"ʴP.m}Ӆ<ߔTVT$A[YO+yoZ0X~>Qjo KL—QpKs99aHq6,pG55bїiu=ii!z|E۬Rf5h1O$\wP u'z-yq `3 SN'B@j>F1vb_!W͔$D5{nu&ޣ(@UQ4/"){))R}&":SiWQEd6=}&?I2:”pt]B%t=4::o d!]F8qe~ Z"w56 /z*kzQkK=\Aya}6:985F]YҗrFO[4])PU:rt7s-=NEͭn!B\ ֪')'{ kʎ'q<6?IScizA!W#-PL\DEZD[5p[֡X|.=ν_xrR(7cD=(.&]jɝj0N#Ku u$/29hnڝk?:.h;8b,R?`%GTJ5^bK$X+*, PwΛAJvZ7