Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-tex-ewd-15878-2 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-tex-ewd Distribution: OpenMandriva Lx
Version: 15878 Vendor: OpenMandriva
Release: 2 Build date: Wed Oct 23 00:40:37 2024
Group: Publishing Build host: ph18-3.openmandriva.org
Size: 28043 Source RPM: texlive-tex-ewd-15878-2.src.rpm
Packager: bero_massbuild <bero+massbuild@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/generic/tex-ewd
Summary: Macros to typeset calculational proofs and programs in Dijkstra's 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".

Provides

Requires

License

BSD

Files

/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/generic/tex-ewd/dotnot.tex

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 1 22:02:03 2025