texlive-tex-ewd-8:svn15878.0-24.oe1 >  A `W^^fd!W$;^[53MXћ}eI֟*sk2tL6H" ?=v~ U6>wTWm1|tYAi*ndۃ4k{ud&.W7ޠLiWwC +g8KZOp[:cH;N`hQg5 g N{k] %:1+WxI =k3yi+"gI3,8nGw80d075e4d9570c2df7dc152c625e814a2ecc719db45a9b5d03bc59a76c547642e553ebf556a86f7fc9010b579a4c479cf906809f`W^^f|b-pYD OeqO QK/gq^В/q$A8Ͷy {Oe$g; q&`^;ii˝- JKL/ǁi!&8};g;B}GGMlդC6!n{t:6w\/BGGrV@G@n ko-j& !m \9MWLC֧ey%>p= p? `d$ ( pLPdh     $  <X( 89 :FGHI X$Y0\P]`^b#c#defltuvz    \Ctexlive-tex-ewdsvn15878.024.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".`ecs-obsworker-0003"openEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgBSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤`}Q-`X8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2018-24.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0003 1621920393201820188:svn15878.0-24.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 -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII text3bX,utf-86da9927502600acc715d0f092e3a934c77b93de1b87820219169920712be8467?07zXZ !#,%6] b2u jӫ`(y,w;/vRw1N{ B9%njQR;5y.Gi7a0UVN E{xao/bJݙ ۋ ]ccꄲUU[ġƳ ֑\ٴ_+\7tӱb]q DUeas<-W(:WO+6eI?K'n\Nl,s^Hb<|"4k`L6.3_qo:xtNĎ/ Y"cS ) rJPa(0HNz#.=xT=qHQIϾw?t.Kؾ:#Cu#z.b 8 SOvBA KE͑K"rf?ע"y#3QX8Lp'_w_w0(cy[rLi5[~Fg5B %KFZҋ-ׂ>TƬ[Jvц­BU"j"c`B%2(7yIY.(Pga1Fy[cJ[C%E(jrj\gd>Jj*,Q>;:*ht3F;ڑ HJ vv[ t8rˌXպ?HGB.T}@B'EBX>>U񥜃T|@ivfϪҴ<&'T'Yb^d'z!ȎrS79:<*hcy"`x7b@. EoyVpM|?N+A_OB+ @gvpe 9e,Dae`QmDr['ItS@τfdYTbBpm wq:#ӲM9ηѡn<^:Gz6Quiw &&^nKWD 'E4/$}1,rx7"ƛe3緦M:#8fx+W >ܟ0jZv&f[3ItYV,=QW5֭>VQ_1G/3{=\>_;Ӻ=u,"]7zu}J"S_QWXtK6φdx@fL.otȴrd@v)K9Y