texlive-tex-ewd-8:svn15878.0-24.oe2003sp4>  <@PT@7!.ܶujG7oed5openeuler@compass-ci.com G7o~ UYPxfz0HyPF꺮7=gwꭂ9E^>Io"&U2\I(ށv*؆;&̉z pZ~\@P6e~ >7\wD?BER1ȝEV0T'K.bd(Ѣ`Xv_Q5}ݎmY8_nAҐկ"yLON_Bb{ʓ>[ !a ejr}:s"97lo .*Vh"G!0vJ?+'EJZP;_#ӿeQQqoV繗!5><Ƥ"G0`B`䜩֋ %*![:?d, 0 xTXlpt     p t ((89:FGHIXY\$]4^_bdefltuv(z^ptzCtexlive-tex-ewdsvn15878.024.oe2003sp4Macros 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".eddc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤edqQ-edlX8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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 initdc-64g.compass-ci 1701097405201820188:svn15878.0-24.oe2003sp4texlive-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 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII text"a!TQܞW4L -}utf-8e60e68ed0a6f24c2254f071b8252cb07af4b90a62d803634f62638ac33e5fab2?`7zXZ !#,%9] b2u jӫ`(y/۱}aрcyK$aCԢB!0OIH` w w3|&0!"rчjAM;Uyj;_T=ٝcT2a R&Oѵ LH|p^c7,Y/A`t"N {UE:y!\m,|?]ڵZe3er/x0^֭h*v #:*kW Ç"Q2':iuC})p}|uIm+LDP_|p?TW>_~sEs-+Bl9FǬ$?P!%NT'zkISfKܮDXt=\H͏5/e~5MH4XkEH}v`cBIi|Hi݆%']CaqX[LG}Xy=ȿI>[`]aV\st%K.Y[^LWvUpp"$!x)8#м<9 ݕxfJ#Kτr u"6`݉g*llץ9hsbat>w;43,vD{w{GB2lEq0 xH~T{nSEױދM y&og!|݈Dj< 9j1sHPe fBxh`Nz(qgZ{-1WCv1 {[6Q^kRjaȺ3 ~m+qqpx` Jy` G(g ^a((PN=(QBĻf2+mFg+VdKx|!P ,Լw̵dҌ5nvKP2DKaC =L )"ӊm$?VLtBk7uQdbmpP7!Յ׹.ygBӡٗ: QfϥN."Qh_Mi4ZX?PC 񋚱͜=a! `* (͊DcRIyl?Vn:N0WZfd&ap?Nh~bLYy)鞸=Z$?9JtFSڰ6F`V؝:Thm^.) \5)@Y~zaMd}EyD0.5umv~r N&{d'Wh9g 5WϠ4縆´Dq ip(GgD7Y=~{t Y =J}HPL zYH~g5&NJۖ6GB~Iַ lG!]-%CJuQV7+#Zg^BJE-clIݧK8BW|dMX2Si&9:1XJI/Fg"FXnJ{2=3M1^vi6W%כ|pnE ( $=4mhߟz8`)%ĀJ.=o'1 3.⿇!$hqs~$;YnUke]y, jEw=4|P`ܖD.x˫zTg4~YԸ_/:RcH{-ƍzAq`2(f;F˖-cU?=^Wm+X'\iXNkr;#@@E_K -P,rʲkr??ߞ>1pO-wΎ`|aPB(Y;]ZhƀZ'QƧjl#?Q-3EU#.ӡYot}^S&l"p Ƞ<hɮ H"*>t!¢0&@Ũ.GH1ar{`^G''tn k{\Dw_c+'Riи