| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-zed-csp | Distribution: OpenMandriva Lx |
| Version: 17258 | Vendor: OpenMandriva |
| Release: 1 | Build date: Mon Jul 13 22:03:58 2026 |
| Group: Publishing | Build host: altra-1.openmandriva.org |
| Size: 0 | Source RPM: texlive-zed-csp-17258-1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: https://www.ctan.org/tex-archive/macros/latex/contrib/zed-csp | |
| Summary: Typesetting Z and CSP format specifications | |
The package supports real-time CSP and incorporates the functionality of Spivey's original Z package, written for LaTeX 2.09.
other-free
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/latex /usr/share/texmf-dist/doc/latex/zed-csp /usr/share/texmf-dist/doc/latex/zed-csp/csp2e.pdf /usr/share/texmf-dist/doc/latex/zed-csp/csp2e.tex /usr/share/texmf-dist/doc/latex/zed-csp/zed2e.pdf /usr/share/texmf-dist/doc/latex/zed-csp/zed2e.tex /usr/share/texmf-dist/tex /usr/share/texmf-dist/tex/latex /usr/share/texmf-dist/tex/latex/zed-csp /usr/share/texmf-dist/tex/latex/zed-csp/zed-csp.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Aug 14 22:19:38 2026