texlive-vdmlisting - Typesetting VDM in ASCII syntax

Property Value
Distribution openSUSE Leap 42.3
Repository openSUSE Oss all
Package name texlive-vdmlisting
Package version 2016.122.1.0svn29944
Package release 24.4
Package architecture noarch
Package type rpm
Installed size 5.88 KB
Download size 18.13 KB
Official Mirror ftp.gwdg.de
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 package instead
date: 2015-08-03 03:43:12 +0000


Package Version Architecture Repository
texlive-vdmlisting - - -


Name Value
coreutils -
findutils -
grep -
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
sed -
tex(color.sty) -
tex(listings.sty) -
tex(times.sty) -
texlive >= 2016


Name Value
tex(vdmlisting.sty) -
texlive-vdmlisting = 2016.122.1.0svn29944-24.4


Type URL
Binary Package texlive-vdmlisting-2016.122.1.0svn29944-24.4.noarch.rpm
Source Package texlive-specs-x-2016-24.4.src.rpm

Install Howto

Install texlive-vdmlisting rpm package:

# zypper install texlive-vdmlisting

See Also

Package Description
texlive-vdmlisting-doc-2016.122.1.0svn29944-24.4.noarch.rpm Documentation for texlive-vdmlisting
texlive-velthuis-2016. Typeset Devanagari
texlive-velthuis-doc-2016. Documentation for texlive-velthuis
texlive-velthuis-fonts-2016. Severed fonts for texlive-velthuis
texlive-venn-2016.122.svn15878-24.4.noarch.rpm Creating Venn diagrams with MetaPost
texlive-venn-doc-2016.122.svn15878-24.4.noarch.rpm Documentation for texlive-venn
texlive-venndiagram-2016.122.1.1svn40058-24.4.noarch.rpm Creating Venn diagrams with TikZ
texlive-venndiagram-doc-2016.122.1.1svn40058-24.4.noarch.rpm Documentation for texlive-venndiagram
texlive-venturisadf-2016.122.1.005svn19444-24.4.noarch.rpm Venturis ADF fonts collection
texlive-venturisadf-doc-2016.122.1.005svn19444-24.4.noarch.rpm Documentation for texlive-venturisadf
texlive-venturisadf-fonts-2016.122.1.005svn19444-24.4.noarch.rpm Severed fonts for texlive-venturisadf
texlive-verbasef-2016.122.1.1svn21922-24.4.noarch.rpm VERBatim Automatic Splitting of External Files
texlive-verbasef-doc-2016.122.1.1svn21922-24.4.noarch.rpm Documentation for texlive-verbasef
texlive-verbatimbox-2016.122.3.13svn33197-24.4.noarch.rpm Deposit verbatim text in a box
texlive-verbatimbox-doc-2016.122.3.13svn33197-24.4.noarch.rpm Documentation for texlive-verbatimbox