texlive-tex-ewd-8:svn15878.0-23.oe1 >  A _*PW^^fa%k_=~#|ჸvh=TGʏ);q)=0,ARM?݈Y޹`KEqIѧuMB,ՅL>C.ˎ[H1Uzdm?|oA`QsvFbc27R rrD*>[3p7_ Le[|܇P+O9!v5LL'l$139cdb7ffbacfb7015ec1ee0332377f32296530e2301609585be2c232fdaa9f78f235831c24c5c5c2786e5a556f778d4acf9fdd9D_*PW^^fOW#$'f4F-_"N{}P_elΧ6*rLBz|itmk]!h:sƆU]pTݮ (^wp1EȹWցE "a^n l(V8NgB}:QE:?*V}**ޑ0M{*G|+:iP'RG~}"`t5Kn:|lUT0d:Ɇo>fJp­b%>p=?d$ ( pLPdh     $  <X( 89:F,GLH\IlXpY|\]^bocdeflt uv,zbtx~Ctexlive-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"._eecs-obsworker-0010"openEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgBSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤_Q-_'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-0010 1607407973201820188: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 -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:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textZ:p_Sutf-85041681fa8441967128b392cf9fffa39381fdda0199aa89cbc11c7436e7791b5?07zXZ !#,%6] b2u jӫ`(xy2A*Tw8-X£ȟt1*H^Hh%Fʬ7!=*E:ˮ6,|ݼ,'(|}#8K_Bcq<ʬ阪a`Rr" \M6rUkypoR٨9X>X?Zg3ºcG3B|jڤ3|pQ6M/z$s=sUGQW(M>?]-ޙϸ'~ ?;:^Fafw׼0z]&&i}.x6ҺmY9 ʛTK`GOT`Ebqȧ1tJFG[@!cfu"I-_̜DiQamA޾jW> f[i/"۰#iUZ+zAGIHD[ryTK#\, j?1c ճDZ޹nf-^o%Z9h!"Ds,3j3{,Xmӏ7Ze׫ѥ7ջ[(7Ƞ'd,VFQR5puӞY5pRQYy5TN$(DZnZPiQpr]+S PT\}r ݘo%q >i^F&DE'db3E5KLfSܑ#=TZZԞ7 ^<"vZ̭O7ӊ}^q!r0zчՎw!_ެ#Tan]CV7b!u}F)h_ })Z5G},Լ$dL~:H4 wq.o^76hi/e `W+ xFH]{Xl]1_={IXOW~m}up$' z};h ѽ,ww'9&v;=9`-b MM0v¢itLp9m^((,&E=PD ߺ3X1u6@r=7E%k5 7`MǃV|~[hW#FJO$Q#1M&D8d0oDI[G6HBe3ȓUF')_t (g#kX1u0eU2T^ ugf$ mq+\i'Dc ^${N[Mv^1 *G"iDQ x!Џ=O4ҽKY-+ֶ)jcȁeF)MlD+^-F *p d@y5%mWQm/ǸtˣNt]ti*z'CR|r;!Հ,z[I!9tT[_ʄ,4gɠ1 :sTj`JZ)l1zdW=A=Xk4 EXQ3_kWp> ZKϦv/ &R~#%&x|BG%cƆf+KyMR([uHt5]3x`1䵶{(!2t1Bg=?cve*){rx}}uiQ 2~+lVs@R# :Plc6Kq%;j9|4O'kO1_doDcXOz=˥%8Oy8N-s-n4:ʳ'w7FPȴ[ hHl(fOyuOBv 5|f:NhZ\802eܧELn ^y`%;9~%ԓe- nOh_ k&Gdr"wK0qxtf U}ϮߵS-gw*Rd8/ŋ\Uz6C` O={Qh닀Jj?<?{-8y$ބ> S$V&g歆0yKH?