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


Advertisement

Description

texlive-vdmlisting - Typesetting VDM in ASCII syntax

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.

Provides

  • texlive-vdmlisting == 1.0-6:2014.1

    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

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

    Advertisement
    Advertisement