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

texlive-vdmlisting-56905-1 RPM for noarch

From OpenMandriva 5.0 for aarch64 / main / release

Name: texlive-vdmlisting Distribution: OpenMandriva Lx
Version: 56905 Vendor: OpenMandriva
Release: 1 Build date: Tue Nov 15 01:10:19 2022
Group: Publishing Build host: builder2-1.openmandriva.org
Size: 81746 Source RPM: texlive-vdmlisting-56905-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://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

LPPL

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 11 23:12:23 2024