texlive-tex-ewd-8:svn15878.0-25.oe2203sp2>  <@PT@7!.ܶujG7odqNJopeneuler@compass-ci.com G7o |J|K{qZ5Řch;*sXBI):>n1T tTcCKi[$o)zNZ>1=m_~ M, Ivr9^T~&"6 39z:x5B|ӕPi$NҎ@-_LZ{n)b8ˡS&Fv2}wJX/6TbƯX۳ЫnME2=%q Ӓ KLxRN®8cB&q %yA[+9CdRmnk28fьdU5dȾ J,xп 'F$ ECwGF*`IՁA".f)*00d0fe127272231a8dfd8a5cb40e8819ac4f473ea1e6b672d0387984dcc6a46800d66a42bd859af043873e1cad788faff06d1391c;Y?Id, 0 xTXlpt     p t0(89:|FGHI$X(Y4\X]h^b+d+e0f3l5tPu`vpzCtexlive-tex-ewdsvn15878.025.oe2203sp2Macros 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".dq4dc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤dq=Q-dq7X8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-split-w-2018-25.oe2203sp2.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 1685178164201820188:svn15878.0-25.oe2203sp2texlive-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 text|M|2&+utf-85543e9a610f49cc89f3a9d0029552a3cb6f1c143722aa6dd25470fa13f6e210721deb54d2d2e5ceb25bc79c593dc3d47b8469d99016b6da3e947b2cf3fe4a70c?P7zXZ !#,%3] b2u jӫ`(y/+p w{| ?ݾP1]jiEd|ig@?Kwv#ՋYj>YhȃE4H2Iކ_4z'Dij ^'Z䀖"jX@bNcܖMn9bi {Ā@L j$+qU%M0WЕpr>skHDy~Τdl#Ƥ)Lnb+(˧7@|ۉd_"=7낱"/&kZg8onXuË!~z yS՗ڒm7ÙtՔ9Rk?'B6` é7{qDtA.H@Z>_1 %| =Pa C3?rJM$0&VDoJ&KwPTH)"Cf˞m#D oo$}U@'uӮwщ c>xtX{iV (LQ ''D+ 7DiPAt*;btfsdat%Ib |;>fBV e{@#1Rϖ9ZC 0:SzQJھ]Kr^F 99GO5FX bE?0׵F"fzT6+qkw!>cbWn/ ] bs<ƒYsKQ@_ѕɻ AiOxgXsr#(o ҤеMFgE[N0+c[PvԸQe >ND]h=/TPp|wOJCKF=u|d0d?xF M HAήޗ5.ҠVƳTω!/ˢTQOÞ4q HTɘDTE\0FI 6N7Y*m?/(RKp,#H&ڪ@nє:2w"4{S +i\QRB@ҵ)J/GAƕNpv5ꏜ6|Oϓ[-&ԣKƵ͍Ѐ*X!=u &nu uKb.~ Zn!/v!֊ܱoqB;swYodGb-d8aBJuF:ܖKdJCqdM-_6RJ3=75isgz ~ '}1f רݒXx6/N}aPm2lܕN,lU+uߎ$8>1rLD8o,;YZ|s83yơ__Q/F a5CX7$; 5 "p<%q9 y&uLox+If^ZCh9ǎ)=^ nEdQ%-g‚*x^]' FD; \:(oN{Ag=@1:bתYᨕyN?fu"ÛR?:Jt5V妯YY Gqa.KѠfՐ]qxMX+$rcRn:Q5$P#;JDۆ+NBJ7s% z) E{VtA澑S\.a< ,)=ьxe o&稨??[[zd$`vnm ,I= ^PtFQBzf 5OϳCB6ghdA00\swK|ՖӲKIj%9ɹ/֑FgOҰw_;O(UT6K6At˩1pYnf}Z3uOha>25pnct4CHp7 XUpx4fe.r))(ߩy+հ\nU$<߯_~g=ਪc֌E ŜV ըm2HJ8wBT ?Qu )+>ukJ*hmu8Q/28D"`FI 0p; W ι ςgͱ`T͢TE|ȼ=@#zͶڝ$xٛǶʢmuE/{VS~Egt]._'D>`L &-~Mtgz3qumb @'0IjޱcuU:#WV$c1Cܽ~͍̕fhם6L dgs& P[xNvƑ"?#ՖRPC&._ $!U ׂЫ<34.WN&ôx}5vPIrK9]*'Kx^]Z̊,@*] $s+w SЭ')%JJ ?B&)%bʑpSSЩ߀\Om ݇a_Uu/4~ə_ڙUۍ?e<.u{g%+(>5*#pA3H[JKIAJMv 8n+6ᐮЌYFq-FVkt*c fk C] !H.2뵿p5+?UHrN}T֡\鴇P4=qQQf%k {W5>!jgرL8$Q<'ig6)lgjae -.Q]G !vwx̓i7[6A%2:ԭͅnJ:~WZB)7.)F vbyQ MI3L\䑦_oDzE_T$'ٜE0="ߊH!7 9StuYuXgDVco'U}SLB(mtSOL!7 grWX@n3x4kmVʹtRrh<{!dLŶ3>f5!޵M-.\%yœ=GFkmG? K#ZF YZ