texlive-tex-ewd-10:svn15878.0-66.red80> K KtĉH2!c31^ WgeYsupport@red-soft.ru  WgXә+f㮋zXT}s `ȰxBiJV6uͣ)IN%5[X~;@̂RcM'€;q2 dFT7-AU)U2ם V-иגt}Ӏi(g\6PE0hy܂hy?:j+ޯ^t4FzY{j0`L;s|׫&`6<:8T 6US6Ezd"@KW b7c8efdfe1d892eff23f03ddee211c1c6b59613f32aba419903f7ac8260ae02beaaa9af766e02f67f9d182a19e3e1d916a546b4abPk\Vt=%>;?}d( , tPT`djr     p t$(89:GHIXY \0]@^kbdnesfxl{tuv8<Ctexlive-tex-ewdsvn15878.066.red80 Macros 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".eiFbuilder8"redosredsoftBSD-3-ClauseRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤eiQ-eiI&865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(dotnot.tex)tex-tex-ewdtexlive-tex-ewd    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn15878.0-66.red80texlive-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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textutf-8eadb9f3ccea1db58fde329f38e8b1d78ca17d1af54c118cca77b1f5f3f3b9e880e6921d33cc69b751d4459cfb2b4eafa233578db66a65fe3fe024d73b150c634?P(/hex1[F*kpӣ|_~EK!Q=u:KrwvU]ƹpp.U^QhveYN]WƵ5΄K 4h.24ve.,xY;h*<*#ñMƩܪc,`]U&"o?ay:czo=y5&Ѥ<=pb?A*^v#ro RU{[?߲۴zpKrVRE{%e9([oנ++},&k$,Ʋd;]fЇ/$@[;&ి<]7DBP ")y=ngϲӑ!y(JXDoc('W(G1n ygOnmXO$Rvħ(wtYvmܽNWx)Wߘ[W;WZr S?V5dpJ N+/DmOs|"5q wcy?l$Z@DfpdB)'Tqr%Ε]VvalbpeX4L\UY.96f06\,8Va"8Yɸ%.W0pKhMp2 \,EqV\\rUu.22v0+3QYLUX cY\sY:SG`W[[-BaG*mUr‡$I]HS KaFQr(00Nr;{Čo7 VԂPȹ-xb1Avmʮ{n.ٽ}F=TJ%rhp'"d4ҵ[~Uc|_q@첇uGqxP>n!tu 7~5KSdq6f Xg@g"ge=O!8ll ^;*'J "xSŮNm޼O~^!G v:5~V|([x=Ы ^ocqR\Xk  ̵Eúy J\!sG(HK1Řb)WCFG(Cti)JĐf\ZdR!Bjrd #3ea՟ﭝ"lKŅ(t}_{xrCD1ܢ~y-gx fEEAGHq(T5&GK(p]<C,Ĉ-Zwo@7dy1 !,߆ }Izr 2P/c!<൜[߸/o{~]魓Zu4h9ewx{H]d8uAphxrW)!#ElD(eBqT&7gK yЌn k!NҞ)$I:` ( UɣyÄ=](DhE)IpWf5Wß/92T0Xx"q9YĖ<1x@,q s+,˿WEK1_%z-POe *Lހ(Htí@xa\ ei +,l=ȳGU0L/q8dڃu6@EQe[JM&*{ȋ1%jSIs l%h~p9] f*h+LdA'm 82xcmy!ܥ jW'AElitcWu D*p@dA9^9^ kqӕ|vIapp@ZPg9Xm) 4JG)-)>bǓJ F?b}J.=37iLp=]ӎ\2͹̐[oכyNѓBJ@n9gl:#~%Q.m>bՂ3xGHZm%э. }߻sTn豬ttI[S1YɓΈ[ڼ{lvn%'u}0 ut˜] 6JcBҝB|)R9G܄R-ӵ7)2fC?D7qc`W}K@OFn!{} v$[!;,$b.&;g.ҥdgj-$~"QX #lz-R6Ö:LJi'<-8fb j^ѣq˧H}rqBtl5i3_9¶yv¼J`2>!>2*FFEbG]BaB|IR76PO:ffomOY"UuinIbo6XhD-sgjA+&b[]ۺ|KG M= 2H[VӠ`e2bCb|^( R֢LL27Ɩ!b]I8#J^,=#[Ca${tqgf'G3ްhCӊd@eak\\CH9lc\+h٩R-q,OL p Ys"Fxʩ+znu׋*0S) &9(R|o+G:];@abluxj!unRdl!hܟ P<}[s3<xط7ĬMwf=D};֩'ݱ hg=\ kJ[ZFI=46Il3+7 cCkEMnގXkJ~|UGH oO#;E0X_AbQ!lwT5U*EI }H=HB8:Vwq HMkfb $'&^YP*Gaʥq2RlppΡ哔Whf)cƸF;$oYi?a_+dNiT هNiɠIPE^ݖRˑմP а-ߤC7ہ+Oc%mCo \P\;|'x,+@m\WrCQYcH;[M 43(ۙCs NF1M:x"%M,HB%= J+L]LpJ:wU`#|Ĥxpq9*'—=OKcC/AFԕ@%S3i;?ǡ7!*&&`s4REaeQhe`-wNZ}Kz IL*JMQʏY]+86>EJN^ &åg $>ZޕCf_n4a-P1w0xOdZ1S۠v`% 飗{6n zCZ9V7q>Dr @}+ 6 0?DE\ZPĢRn"{TwːXEoS1F@I