texlive-tex-ewd-8:svn15878.0-25.oe2203sp40>    fQY0 ;G|`u`  {߽57E_"ZţqL)P4>Z2V; UZ%9WF#jmANɰ:w_i8dWE&(\ Z&!) 5Ne>EH䝑 ]W!mC+ݪ' }8Gz64];fx(BQ =ʹ|;ZH]v|T_Vd0{ҭ M2G 2!& OBfRDXP`V4EeTUUO:6&Se(;)*>hq3wSw@ݫ5P'm~/u~׼}q)X$"L( a _q߻ǡad9f1c6cee55b6d1714533ad9475f0e58e67b4bc33bef489234580b0ce764de55fd120a2dc9fd0a68b410e002bbed7361c0c1d43o qPsD?>;Y?Id, 0 xTXlpt     p t0(89:|FGHI$X(Y4\X]h^b+d+e0f3l5tPu`vpzCtexlive-tex-ewdsvn15878.025.oe2203sp4Macros 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".fQYdc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤fQYQ-fQY X8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-split-w-2018-25.oe2203sp4.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.17.0b%`_[fxu_ping - 8:2018-25maminjie - 8:2018-24Guoshuai Sun - 8:2018-23- Fix fmtutil.cnf not found- split texlive- Drop texlive-texinfo,use new files in texinfo-tex insteaddc-64g.compass-ci 1716607237201820188:svn15878.0-25.oe2203sp4texlive-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 cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textKfl3\%'2utf-85edcd1863f36585fd04ca01f9254e180063a1f6d1ca0e82110e2f8240e3f1292b88699938824a13b8db408c9430416031846b847d7f140a837bbfd345e6ab595?P7zXZ !#,%6] b2u jӫ`(y04kectڜzSq3kdmC(=n-D$BBGid$4u눚Ԕ\j#g\mUTUuZfY*.9n>R|Sb72ީ:UP}0",+ܖTq9* bG-}fX#m:fƆ ubQC+GT]'wJ>~ϔOu4Bݴx="2䷀!<2n7f8$}o6y3YN{k>7WŘ~ǥ,(ӳoC-śg}]uVuD׺66wBT+3iGBJ⺓&tXt,Vkn"He: Iq#ɯu#Ut+,¦v*|%suW͕LZd};. UR~ŹS bO:sfُ$X4ZypKũ/HI ;7c70Y14b\T?EK0)&c\{=g%О{g8TO%?e]2miɚNdf;o=@ ``C Z%Rioʨ^ld?u# {-Pw0.] ()th4C)-W!4WmoM$%뛾YX3r;G3*S:1"@<=>)L}E£Мn(Ic85g:*. VAKwč1=e%VgUFP*{[F)3O  MQ?ҍgWW~6}8g| >-g@ CЎgfhmrVӮ>˿`:C ,2.j2 !jDEh_G/En8-$%=tJLBcC4Ծ8Z!)뜆M+ B&_V~BY^vB́?icɇ}%3O *_i2`VM,/i M"sn7/vɳS csQ=ē%>C goŴ|! K2v̗mn+YE,T=RӥF {ggpJ#}lWw."]\|Sg )=#'@i4{!^7{asnQ Pu('$>7=vjU6NߍVe&GX|P8~M 'iN#Ƣyv_PM]X:ֺ-(O!K A4^N oOazBT?8ZP;e/}ާ(? m .1w(BsP$>]釢czAĸK3C~G7;d㍎߈ѥvk.@Øa04va.QI{],MCri`ǔz[;h+oHu0*, DςKa] 0x%ϯ.+;'v;#3FwFbX[@Z!0^ viTq8*7h.G!^idv(3a2>_ܘ-> npMlN|ch ,'ŅDܒ;!@hqKTX43чr/^]eL/TkInȢv, Bcӥ$ ,j !/1$YkeH`40qQ Oi֍}_8jbֱ:% I] !^v΍<v_ (K%}ˎ>@ $^]kk/Q Nbu$:xazs|ܴ Aee[[v 2N];;M3GK-yn4aU4.U@.xLE[3W&I:)Oj=.1\8lwYb3sUG\=i%ehbURGB9~z߭:тϩ;6nl{zzF͉q[1L\?}P^*)rsA3< ΁8'y 1?ybmO@iZQp7*qIk͆qHRJLs o$Rv % Es~S膩a~J,x-0>WaNcx/3!)KjN#RFn*>#r0ϛR,~/AyM Һ}ⱆxl枮;6< MMo7"aRFanوpy[#Wj2f.AVm8[] 3#ܵy**Ƀ=* Ṣ,E~`Px\\00-|2M iyq)8<\=8'LdDs$0ƶn:y e F$vyFTnu}ۺ_?U~ +ܻ%P~Qv+{Ѝ!x)ݬNw&K ׾ϴK] 4 !k",CGz>yKqS*b9_:Щ3aGFs0 +bP(&76&aAE06zRUѴL c }=ܯWVKao|w_HMB6ww>|N\2;$[WzꥶSyaOh^b8Ņ):sQlaT{z|4U(nR#Iאg_kH}+ Hf6T?ʭ_*LD%!_"N*~{ySx+fW m 3~w=66p&X޲жL"\ B.^|5aɎ"U$E:fR~Es"/d$K~{peAdV^1j$p;i: jRӛ_ 0<ΕiԾ6lYCdF NUGIl9$э ا6*!F8"dڈ-2:w5fsʝq>2$A/1)+)-U -I.7( /n&x ج[o0R<[h~׻J&}2{#j_L2i?2 L0@|ĨYl0gls4M6A[ٯZ\`לWZ%֊SXb𧻓IggoqLl˹+TvƼUA 8#+O`աtԑ FU|P51 u鞂6V9p@ .d1cϏq4l}gG~i'$;CFG@74^jKIء YZ