texlive-tex-ewd-8:svn15878.0-24.oe2003sp4>  <@PT@7!.ܶujG7oedɍopeneuler@compass-ci.com G7o* `c:E6 uڴܫ NgqyM遉cqeHv+_C,شx[=/{.=ks͘sRӠ?ɢjګRńRtq҄~#]W񏏚Wzc1w֩eO[gػ(dnAS"Ā;GK!԰a08㆘.6B~cu#V- pJZ}ÿ):qN6J,;cQ]Hwre0EW>>\sD*O5>ǽ :?d, 0 xTXlpt     p t ((89:FGHIXY\$]4^_bdefltu,v<zrCtexlive-tex-ewdsvn15878.024.oe2003sp4Macros 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".ed%dc-64g.compass-ci"BSDhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchA큤A큤ed Q-edX8865ace4732a71c5a7766af7ec4c36fafe87168ba81559e399977aee29cce384730b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00aerootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1701095205201820188:svn15878.0-24.oe2003sp4texlive-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 textH~'K,+utf-87b827ba1873dea70db28eabab785eb2d6177a2edbd0ef4c487e54d3ae0cb624b?`7zXZ !#,%7] b2u jӫ`(y/۱Oo@ҥW~4^$sФ܀ȻqbWFD2^FqPqId!]^~1/*S,aWꤻg QR(MAuPאRDW]ww)&@M#+^$-ZJ K)~(JNtC:mly9J:@T >UWH08e|<4d\MYA5ꬪ9S |UɟEJ&p7è-'"W@ '=fYSqEf!7,h{܉URh;a#L')MUXUw[et:wj ڑ/}AZ:]73]@]Smol;ŭxO*rkF4thw@_.SfWrb7:Lh[ &q/̩&V/gL-Y*^8@ "oEiO]>LMc]-_Odp3#q²aUl>`o3/js:Y[^ͯHg3p%ykg74v.8kԸ;~2P2:mFRWR aD9Q?%/rީ#JCX> W߻g29y3ri*3ľ% пvbg^`Qޣ[nwv!^J |"5ؖ.-Ӄ8"01||`_{"@[`\;͂-KbZ*@:v70e6Q}/ULfBuO ٰi^@/j|5+l5Cȓ"n ibwGd“S$ cr.YqA5b}ir̉dhi|Xڔ(1VB%d@ĩL➗JLb)8FNtbe1\O!&GZ]U]K/GH ڹS!;B=Vlxƒ5Wi&ȶն8K@t<[Rz- c_5JD6Kv_C,U!qN!(}8bQ-)͝Mw`TmYS{C, xnt_w@|"~CdSՉHMO" ' /xOVNyO A|*6~ z.a}E70Ʊ,ud_};}ӳ}P1r󫛔~LNg|Ҝw#asS  t1`#>hT2\o]hĔD:**3V{dw|[,lzVg#X~C;Pܢ&F=z (YҚ::"DC/^n@_ _HTp 3b)t1r x?%iS i(ZoJĶSa؂$]~^Y$SZ/TfW"ˇS4Y2T*q1[W}ت OJ?hWչzq>xպk v/mL yMiZ}*Ǚ`hL㷴3AJ"9PYC.g!B\s~I=(m2*l&枩RذQ萑P`$YS2puV/u Kι.p45Upj _'tx]p1x`KNc dOx 7>U 8"wQ/i^/&Ռ~ r^*zl8I^'Sd7e4{!pbnRWG(^20DzW"RNRL1̰!|]f7 c"-pT Y@1uO;y}w7> INR P?3Wa"X ,'q+cl 3k7pK@ PmNÚVP.ΊG2ENb^IF2yI~S~NՋy5E| o0͛%0hx&8 "%1h_wnz#ab -F^w8TP9y'%6밬(^BiV &ᬣX Y.ae z*NQ嗋kKBJ&k㯿0KMH"'