texlive-tex-ewd-8:svn15878.0-23.oe1 >  A ak W^^fٚYXYi1wmpYOӶM6z%l_'5zZ,t(wcY(Ϩ}0 [iܝ+Nwo^+h?Bm4ݾ\Rhm.+~ I'g:km{8u?.j(s|tߣcfo"w ѥ""c/KpZoa&q\^nc_Tq=7~@;3h&;34 wsfcfdbdb131ba90add6922157859b223937db400515d670d7620103030c2bbf19ddb1eed53f8542f93f600129205995db004473ea,ak W^^f!%Ihի3"ay:<۩ B"OfJ#z<Չ=xHL}>4.V'mrtAZ>GnfVnk2WW Ͼp9 %jz;[ cH#_1lDlSHOWdQ@V џ$r|}Υ x4ˬ9:"C5D][ۤwstJjG@f~TV=%>p=?d$ ( pLPdh     $  <X( 89:F,GLH\IlXpY|\]^bocodefltuvzJ\`fCtexlive-tex-ewdsvn15878.023.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".a`pecs-obsworker-0002"openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgBSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤adwQ-a`X8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2018-23.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]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0002 1640980592201820188:svn15878.0-23.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:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII text\?ZK6=#LCutf-80ecc111f7bf691ba099a2a251898a1e34f1e59f287da082149cfd0e07707a736?07zXZ !#,%6] b2u jӫ`(y-7g>+ yG cj/6qĉWQ~ä{т7LlE4$ `JDlv(vZz#+kiFvǨ!Կ_#]3PtT+!٠'&`Jm%!=nI@55Ο0Z+ 0t_甊~xk\GOY[$=Ry6~Տc.u {ɒV/Ԓ=]eKLVg*#-M%h7A%IW4^:-T&7Ru11IŲdҐM"Z8Fww]4;F_u@{-:m@lvIo?A/TL/_  ؀*./BW5քQ3xؔFbަ ڪ9meiD: C>.xi[S\pz ɇYҏW,%5f$`%aQ*Epg "7zhhUPQ@x'0xGͰ`h`HةBj0D H\SͫYX6i0qK6T)O >;콿S.w~'Wcz]Fӯ ĭ0vIv+Iq(rcNU`dWrK~ypFSyސ rկ lbͬ'޷$|Jv;JE@1в 4`Ta^s5TDv0#hpLj^IpX{܊ ~|[PbxVe 6?x1WVo@Z~xZaI0 EB :K7e&ͭ'A=h8,nZE*HRΖR"6^h˂f+[Oa"匫NS! 䒴Dhu =9sne|%.1=oeo䳤b ~S09l) v2Mi:myH"l }V<^bS߳z.1 "|k= O ^ņڃ=!2gxyFfT_d(l1viV4n2np֠۲qhN"dp.8 UdrzD7e!2|77K" 0'A-eCBvJ.h>GG(T?&E ;Qv"'b߰&WɭӇf6_6,lxZНz{l!vNuj0=XK(AMU =P5$/Mcf?+A^:QfN)rMINK|4{k"8U CGs>zL-`zhhXM76%쓃Jt6-Ap!h3r#0~ !83NoИ\"O!R/Q!h\4ѓ}8uBA0Wh Q*MSX0(DQovYI|}~!Pf֭Ñ"HS]Wj:]5t韰?/YjׇX6#}v`)oȏl {z4-,5Ae2beAZr \u}@kLJѝ^_UMg*WͷKw5ȧNr sof#jecI@c g`ýI.Z D 2@fDJ'kɌEtI}/?GǴt qYlBrɃ.q= B2!ζb4ӵ G4kCߌ ZYQ0Md  3V na liLm ;COdjʝ\ެ~d_؟`hTb!DumlXшDTU[#7՞(gMQD QvۑM Qk-k+_*tOY#.DˑgS'OclƞImhJ/amLk[u `@LKU!9.Ǘ6@͖1r zfKgE$)Y^cEeEDRl1<1ӢA8AjyCᙪ˯~I&U?Lބ dRWG2Zu_S G{`F&8Q[XL`"qucmۚU"sBm2e6[B蒊gD'Mv`zlN5 k^2 [4Mx /oɰ ]u@ji(";1|B4me{ k!ձ@ƲR㒕덭~K(H\n: {Dt@^kO-Q JTi!2꠬n? ZNQvf[Ǡ@%7e}j%dTK4v@%LIZu׺:aTg-{J!^wXTubT/X:N^[{[o5ƴǘV7 ]DdGx /XN"I^~֓~pX+?oPkiZQ"x\ {-.=4w\GF*k&8ȪhjsvSv5R*+!WruQG^,w.[x]ɮ8 &] Ā(ѫz}"nX=H6Jvshsů[ s;3gՁ%rpу6o^hmN93Hvx46As>JC\aKIء YZ