texlive-vdmlisting-1.0-6-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-vdmlisting - Typesetting VDM in ASCII syntax

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name texlive-vdmlisting
Package version 1.0
Package release 6-rosa2014.1
Package architecture noarch
Package type rpm
Installed size 83.65 KB
Download size 71.81 KB
Official Mirror mirror.rosalab.ru
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-7-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main Updates
texlive-vdmlisting-1.0-7-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main Updates
texlive-vdmlisting-1.0-6-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main
texlive-vdmlisting - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-vdmlisting == 1.0-6:2014.1

Download

Type URL
Binary Package texlive-vdmlisting-1.0-6-rosa2014.1.noarch.rpm
Source Package texlive-vdmlisting-1.0-6.src.rpm

Install Howto

  1. Enable ROSA Main 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

Changelog

2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 1.0-6
+ Revision: 1b7b495
- MassBuild#440: Increase release tag

See Also

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