texlive-vdmlisting-1.0-9-omv2015.0.noarch.rpm


Advertisement

Description

texlive-vdmlisting - Typesetting VDM in ASCII syntax

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename texlive-vdmlisting-1.0-9-omv2015.0.noarch.rpm
Package name texlive-vdmlisting
Package version 1.0
Package release 9-omv2015.0
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/vdmlisting
License LPPL
Maintainer -
Download size 71.68 KB
Installed size 83.65 KB
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.

Alternatives

Package Version Architecture Repository
texlive-vdmlisting-1.0-9-omv2015.0.noarch.rpm 1.0 noarch OpenMandriva Main Release
texlive-vdmlisting - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-vdmlisting == 1.0-9:2015.0

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package texlive-vdmlisting-1.0-9-omv2015.0.noarch.rpm
Source Package texlive-vdmlisting-1.0-9.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-vdmlisting rpm package:
    # urpmi texlive-vdmlisting

Files

Path
/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

See Also

Package Description
texlive-velthuis-2.15.1-10-omv2015.0.noarch.rpm Typeset Devanagari
texlive-venn-20071204-10-omv2015.0.noarch.rpm Creating Venn diagrams with MetaPost
texlive-venndiagram-1.0-11-omv2015.0.noarch.rpm Creating Venn diagrams with TikZ
texlive-venturisadf-1.005-10-omv2015.0.noarch.rpm Venturis ADF fonts collection
texlive-verbasef-1.1-10-omv2015.0.noarch.rpm VERBatim Automatic Splitting of External Files
texlive-verbatimbox-3.13-5-omv2015.0.noarch.rpm Deposit verbatim text in a box
texlive-verbatimcopy-0.06-10-omv2015.0.noarch.rpm Make copies of text documents from within LaTeX
texlive-verbdef-0.2-10-omv2015.0.noarch.rpm Define commands which expand to verbatim text
texlive-verbments-1.2-10-omv2015.0.noarch.rpm Syntax highlighting of source code in LaTeX documents
texlive-verse-2.4b-4-omv2015.0.noarch.rpm Aids for typesetting simple verse
texlive-version-2.0-11-omv2015.0.noarch.rpm Conditionally include text
texlive-versions-0.55-10-omv2015.0.noarch.rpm Optionally omit pieces of text
texlive-vertbars-1.0b-10-omv2015.0.noarch.rpm Mark vertical rules in margin of text
texlive-vgrid-0.1-5-omv2015.0.noarch.rpm Overlay a grid on the printed page
texlive-vhistory-1.6.1-9-omv2015.0.noarch.rpm Support for creating a change log
Advertisement
Advertisement