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

texlive-zed-csp-17258-2 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-zed-csp Distribution: OpenMandriva Lx
Version: 17258 Vendor: OpenMandriva
Release: 2 Build date: Tue Oct 22 22:11:24 2024
Group: Publishing Build host: instance-20220713-1556-1.openmandriva.org
Size: 332762 Source RPM: texlive-zed-csp-17258-2.src.rpm
Packager: bero_massbuild <bero+massbuild@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.

Provides

Requires

License

OTHER-FREE

Files

/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/latex/zed-csp/zed-csp.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Feb 21 23:32:21 2025