texlive-vdmlisting - Typesetting VDM in ASCII syntax

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename texlive-vdmlisting-svn29944.1.0-20.fc29.noarch.rpm
Package name texlive-vdmlisting
Package version svn29944.1.0
Package release 20.fc29
Package architecture noarch
Package type rpm
Category Applications/Publishing
Homepage http://tug.org/texlive/
License LPPL
Maintainer -
Download size 22.77 KB
Installed size 14.75 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


Package Version Architecture Repository
texlive-vdmlisting-svn29944.1.0-25.fc29.noarch.rpm svn29944.1.0 noarch Fedora Updates
texlive-vdmlisting-svn29944.1.0-25.fc29.noarch.rpm svn29944.1.0 noarch Fedora Updates
texlive-vdmlisting-svn29944.1.0-20.fc29.noarch.rpm svn29944.1.0 noarch Fedora
texlive-vdmlisting - - -


Name Value
tex(color.sty) -
tex(listings.sty) -
tex(times.sty) -
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -


Name Value
tex(vdmlisting.sty) = 2018
tex-vdmlisting = 2018
texlive-vdmlisting = svn29944.1.0-20.fc29


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package texlive-vdmlisting-svn29944.1.0-20.fc29.noarch.rpm
Source Package texlive-2018-20.fc29.src.rpm

Install Howto

Install texlive-vdmlisting rpm package:

# dnf install texlive-vdmlisting




2018-10-05 - Tom Callaway <spot@fedoraproject.org> - 8:2018-20
- artificial release bump to work around bug in koji (https://pagure.io/koji/issue/1119)
2018-10-01 - Tom Callaway <spot@fedoraproject.org> - 8:2018-2
- fix collection-texworks to depend on texlive-texworks-doc (texworks is windows only) (bz1634313)
2018-09-21 - Tom Callaway <spot@fedoraproject.org> - 8:2018-1
- bump epoch
- use a mirror that isn't broken/evil
- use %sources macro to make things nicer in the spec file
- hopefully fix all broken dependencies
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 7:2017-17
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-10 - Tom Callaway <spot@fedoraproject.org> - 7:2017-16
- add algobox
- remove Provides: tex(textcase.sty) from revtex4 (used to live there, now it is in textcase)
- add versioning to mensa-tex provide
2018-07-02 - Tom Callaway <spot@fedoraproject.org> - 7:2017-15
- update newtxsf
- remove incorrect provides from newtx
- add mensa-tex
2018-06-06 - Tom Callaway <spot@fedoraproject.org> - 7:2017-14
- add Provides: tex-japanese to resolve upgrade issue
2018-05-29 - Tom Callaway <spot@fedoraproject.org> - 7:2017-13
- add epochs to more obsoletes
2018-05-25 - Tom Callaway <spot@fedoraproject.org> - 7:2017-12
- fix Requires: texlive-xii to point to Requires: texlive-xii-doc
2018-05-22 - Tom Callaway <spot@fedoraproject.org> - 7:2017-11
- update cleverref

See Also

Package Description
texlive-velthuis-20180414-24.fc29.x86_64.rpm Typeset Devanagari
texlive-venn-doc-svn15878.0-20.fc29.noarch.rpm Documentation for venn
texlive-venn-svn15878.0-20.fc29.noarch.rpm Creating Venn diagrams with MetaPost
texlive-venndiagram-doc-svn47952-20.fc29.noarch.rpm Documentation for venndiagram
texlive-venndiagram-svn47952-20.fc29.noarch.rpm Creating Venn diagrams with TikZ
texlive-venturisadf-doc-svn19444.1.005-20.fc29.noarch.rpm Documentation for venturisadf
texlive-venturisadf-svn19444.1.005-20.fc29.noarch.rpm Venturis ADF fonts collection
texlive-verbasef-doc-svn21922.1.1-20.fc29.noarch.rpm Documentation for verbasef
texlive-verbasef-svn21922.1.1-20.fc29.noarch.rpm VERBatim Automatic Splitting of External Files
texlive-verbatimbox-doc-svn33197.3.13-20.fc29.noarch.rpm Documentation for verbatimbox
texlive-verbatimbox-svn33197.3.13-20.fc29.noarch.rpm Deposit verbatim text in a box
texlive-verbatimcopy-doc-svn15878.0.06-20.fc29.noarch.rpm Documentation for verbatimcopy
texlive-verbatimcopy-svn15878.0.06-20.fc29.noarch.rpm Make copies of text documents from within LaTeX
texlive-verbdef-doc-svn17177.0.2-20.fc29.noarch.rpm Documentation for verbdef
texlive-verbdef-svn17177.0.2-20.fc29.noarch.rpm Define commands which expand to verbatim text