| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-tex-ewd | Distribution: OpenMandriva Lx |
| Version: 15878 | Vendor: OpenMandriva |
| Release: 1 | Build date: Mon Jul 13 07:06:33 2026 |
| Group: Publishing | Build host: emag-1.openmandriva.org |
| Size: 0 | Source RPM: texlive-tex-ewd-15878-1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: https://www.ctan.org/tex-archive/macros/generic/tex-ewd | |
| Summary: Macros to typeset calculational proofs and programs in Dijkstras style | |
Edsger 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".
bsd
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/generic /usr/share/texmf-dist/doc/generic/tex-ewd /usr/share/texmf-dist/doc/generic/tex-ewd/README /usr/share/texmf-dist/doc/generic/tex-ewd/bsdlic.txt /usr/share/texmf-dist/doc/generic/tex-ewd/p0.tex /usr/share/texmf-dist/doc/generic/tex-ewd/t1.tex /usr/share/texmf-dist/tex /usr/share/texmf-dist/tex/generic /usr/share/texmf-dist/tex/generic/tex-ewd /usr/share/texmf-dist/tex/generic/tex-ewd/dotnot.tex
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Aug 18 22:11:28 2026