Dependency of nagios-plugins-nwc-health-8.0-1.1.noarch.rpm

Name: texlive-vdmlisting

Project: openSUSE_13.2

Repository: oss

Title: Typesetting VDM in ASCII syntax

Description:
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: 2013-04-16 09:30:34 +0000

Version: 2013.84.1.0svn29944

Release: 18.1.7

Architecture: noarch

Size: 12.7 KB

Build Time: 2014-10-08 19:22:00 +0200 (over 9 years ago)