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

texlive-vdmlisting-1.1-56905.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-vdmlisting Distribution: OpenMandriva Lx
Version: 1.1 Vendor: OpenMandriva
Release: 56905.1 Build date: Mon Jul 13 16:42:56 2026
Group: Publishing Build host: emag-4.openmandriva.org
Size: 0 Source RPM: texlive-vdmlisting-1.1-56905.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/vdmlisting
Summary: Typesetting VDM in ASCII syntax
 
The package is an extension for the listings package that provides a
source code printer for LaTeX. This package defines new language
definitions and listing environments for the three language dialects of
the Vienna Development Method: VDM-SL, VDM-PP and VDM-RT. If one wants
to typeset VDM with a mathematical syntax instead of the ASCII syntax
used here one should use the vdm pacakge instead

Provides

Requires

License

lppl1.3

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/vdmlisting
/usr/share/texmf-dist/doc/latex/vdmlisting/README
/usr/share/texmf-dist/doc/latex/vdmlisting/vdmlisting.pdf
/usr/share/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/vdmlisting
/usr/share/texmf-dist/tex/latex/vdmlisting/vdmlisting.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Aug 15 22:15:12 2026