texlive-tex-ewd-8:svn15878.0-22.oe1 >  A ^yW^^fv!&|^ƚl{9:3,0/BxR9$ D9-U ۛƛ"wݚ{x/@~O^Fb?ɷpaۋZr-?sWc?^kr~ɛY%j|ho]?5 UY.$8$_[|?L5t0< h{tvz Z>7a9tiԫSb11fdc97637c816a41b3570e8e04e590818854de8e75dd8121bd7a55095a65bd676fa15c4af79e4bcace50ecad17d4b588f009a9܉^yW^^fq"u "y:'$_&!8;}O淃L鿗 {WFt8-6 wU1h" |Q V'wx_JU&̘ 4/j?/l"ψ<,PP1Wu!Jx_3obafo_Mfua*vo^ygC7>ƍv<_CAR+0BP DKӲ2Eh5fu$L)o k_%>p=l?\d$ ( pLPpt    (  @\( 89:}FGHIX Y\8]H^sb c$d~efltuvz XCtexlive-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".^yobs-worker-100-0002.novalocal"openEuler:Mainline / standard_x86_64http://openeuler.orgBSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤^ykQ-^y X8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-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-100-0002.novalocal 1584990433201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:Mainline/standard_x86_64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII text1u(E')xndutf-841117fad5f31667123955ff4669d70c099de4133b7003e6eced0c50ca45304b9?07zXZ !#,%6] b2u jӫ`(xyT2LcȪd. 57q1{\9%NGkMklܗW=eeXJ;|, YTP.WbD^0tcz-{@{"ZQx"xLZ7fѢi5Iqm/P>y&163Ug=/Ƞi+ww}`2SjEl_@%42k7-V4A!˸3/~\< ވLl.L+KZN ֚֩ n5[%Z+(gAӰV<Av&V`+ԥHfө$_5fe~+Y=:pa$|5AV^-vǻ ZQ!,9̉t﫼І&c^>KB"1GIEU{j]pTʘgGCvCば%;HX=6D>N8[ZUefC|+'1Ycj-YK\ۍ|~4Cឯ l~/| ÍEaNBKuY%tgVWULJoT@EV 1}NѨVY?0HFKfEd9lGXVm2+؜%?لbDpƲ/ڝ뻬/yc$ˏ#VҟlSM~Oe= 8jAD{jE7k'"%$sx6a%LZr}W?ީSt>ӹ+있Jy)')E^e"bJ8p5OqL7?zc|f8%X kALk{K'W27͟\w#,cu/T_1K3w̭H;8k }N n.$Sf-{LFO51ˀ0rp"IJyQ% [\1ueV 'VTl*lUn5:qFbtީN!Ԥ^l!pњebhR5׸rd}Cdb^[àN=[lvKlڦ6;✡2R/:)Gc!ĈL10uWh Z.".?TbtUPr&ʗ1:1fRg~M, -5fMD*9kݻj9IO#B9؜ 1@<\} :%F$(PIB#TW4/ jmΔSVoߺ<e p8zm"İ(K(41B uf&lÊ K߀Uk&F;[G ځۜҺ\+e] S)zjY@rLlDdX"v*"ηq]wsE I<2+7Cy2GD`c>7IΫ1;[:Cb[$ũ ZXufULѧV_8_λ_ijLXV镪Y|艦yzx6X۩ Fp<9_L3,b:/P_DցCCt#=Q}2IK*b 3LrGQ .yإnTi"x[h%}_scafKa=f'}6t,vI'٧GyPbrTFm~eGF#Jh;?4KOdbUu0h\#INEpl4"/ rm6Kڧr"9/j|F?AL'](] 9e.,R}_1VВ:h4o ^D'Nf}ۗhnAM'D}Q둺 ly^y0@gqa2Ѽ^PV*Ii8&]xved:[KOv<п@cMh/GUf߸D-1N`z-]ԳZ;V I!c*7 S$l#IOXv,B=[2dYZkcS ÜE^ ZSb&՟kJm,Z2uN,{U1:s᢭Āe3L Z/x׊F#r䎘8փҲ ">H(:|_$H>|ip*08n dW-T8rY:'>&N\b̽d:쌵% ~pY,'t^ TObV;H Xͫ\cپ[N@rnyɈE9+awȃ$w/BG~B^ Fd X'0#=p#Ϟs-1K^XmY0^؞tܼTo!5S?%k^ ?S~yqDq 4|u9?P5r: Ҫs vIt.~Q|mp6lbW؛ 'd.EKVHGy梺cno|wȸ:G(wɆPcKIء YZ