texlive-tex-ewd-8:svn15878.0-25.oe2203 >  A b?K$fYqg"{a\Q_CiF=EtT8äBQ~⡣ɡCK4pXfֆ%~k; TgyR7%fpy-p2O\$<ؙs4kNY=kz'6z KխN5t0M:HRRxpUG 2f48e273ffcb324093488857f9322650cd7e8c9ef66c111009373a3f0bec34eb2ede285014a3f78447df3fbf88c3ecc53529b02bQb?K$f aYv_ rg|^+|5j!1nCTIJc`˱b7uɧA7ȳ 2"ݭЄW{wtP+aTFJ2,qʩis;$_FMtDOF[ò H: Au4PFPad7^`Ϧ$2Xey/ .ei\D7؞S赝Q@~v(#{}Zć2|Ͽ@Qf8?DA?dwUfgL'|'ʪy8if%>p>?d( , tPThl       @\( 89 :FG0H@IPXTY`\]^bWcBdefltuvz04:|Ctexlive-tex-ewdsvn15878.025.oe2203Macros 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".b;oerv-obs-worker-04"openEuler:22.03 / openEuler_2203http://openeuler.orgBSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤b=Q-b - 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 insteadoerv-obs-worker-04 1654537205201820188:svn15878.0-25.oe2203texlive-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-protectionobs://private/openEuler:22.03/openEuler_2203/05a40234a2400e0a4d0ffb6e44699b78-texlive-split-wcpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII text|7&lutf-8039e6689681685c2b28093af1807c3b57f9358db852874a195cad279bd4df1f88065243d1fc573edd26a75cd7af8fbc11c38842a4be5495bbc715a6e7b0c0bbd? 7zXZ !#,%7] b2u jӫ`(y-6h݊4/n?S*Y ^%J#&hr6ӺFB9ˤK>qyߐJc@b3ߧZru_#o[ kٯÇڿO$Cs5vʪHs& ,ֱ`gŝf*XX3S+ Tً):jK~m*pc|@Vepq;%` mf*ebBe U69^/=msM'ϼɕ[B,,)\ٟXnsL+ jfMlG#1{*R !i>:F;S&7xSb Oc`1r[wE{XD}]HH4js _96 LDsklŧo$C=]s^LDH\.:rq 1ftdAE(RqW=KwyHr889|mbM+d,]=2DH>Qh.ea)O~NJBmhϛs,dK!iK19*]>H-SZg_FZmB@&>ƞ0 `}Qq=l,Tp{)c|oȲf_ihxl?${g;><^ez8Os4YJ>qf@q t?;AR(Kf]мUa lq;4|@ /L4 YÑ<~Ay+AAj*SBZ@֠JY]:/'z} N 1xwˉ=:m`51x:U[!G\3UƊ.LnrHeF[c,>7?~m>91=$co)$y% EiqC^>ߩlIev<7S4d}\/we?wWjdG\IX<0GG3C]4b2&>~ztH7W.FD&(QQ@iE+ˡc#5ʱg]ŸahFx*rT ]d{h~(BS,K& h_EN e& AjʺzS& 2{Ԍ J;a) ҷ3.,z\c4ԖN|C f5y~jzuo[{iкR tvw}r|z ׭&{O'yy{ JZPKTaG9&/ $xX0}}SۼܡaW oK]TD7A*3\/Y`0Wy#}z Ak*ӭͿ%T I_,"}˯MMZcܐOrk[Va܇ ϝ` R>u?ʜJu_ @T~ v-D9 8=ǚ ^u'2f3pRn k"?TnsqI1Krz ~2kOp_zqMuZXZn"JÔD ķ  CfEؗm!C;&JTΐoo|)ht@|з'.6ܚpo Ї:6qRMtڀmk 祪;:1ņmtDH8|=Q^+)=Ji,ʗ(a 2órWMjZ{ߓ`CѮуuR9Ū6Z ^ל曈n*“Bd3ɲ&!ad a ,/d1stkl|͌%nCwTz̘(|yvwEߞscn4º M@ެ?TqI^鎣{9I}DSzBߝ1otJ.á P2+5 ų?aNCqO[8JK*JRs;ޔu$|_̺H`''oxW&d~njSZ H6bBA92]/͊[q4.bфks{ue^=b A'}Oᘃ.!{a8_0]eբ|Ќh)6 xC,H'F'_rvjD|TW_ 3[D6$طJ͂n@6-v(G+ a뼣-FrF( &m_N"Z1g`?,3`נn``@ Q %q@P ޕ0,EyƝGBP J2QW WcGro5 $d)0eMv;D,wzYadoGF9{l_ y5bA.z胜LְkLY<2-sOdf0)јiҤT+-oևh8 TP{ B3V;bK=7“D.hm;& "/5# G VV `@,k0`RUK=Faķ1ۈiy4H(LDsDIږT1֪9FRK03.oQץ[phV*7Yr!DZnG`<|DZ \x-j /΄7ywUO6 !<`P3vO{liW7Ԡ5e bXx؟\+!&΍ޚJ5IF *}IҔ-,8ttud||Qx )Ь2-! ^"^ ԀiĽ&o-vxY(3>$ c_gpT4utTt7 ׫Xn#nhYR4eWZi4CiZd#V3*x:p%#jQK'Zk .sFOCnN2w_,w~#4j=Sl) LiM4)R}W` @3֬G1&!(Ppg.