How To Install texlive-vdmlisting on Fedora 36

In this tutorial we learn how to install texlive-vdmlisting in Fedora 36. texlive-vdmlisting is Typesetting VDM in ASCII syntax

Introduction

In this tutorial we learn how to install texlive-vdmlisting on Fedora 36.

What is texlive-vdmlisting

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

We can use yum or dnf to install texlive-vdmlisting on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-vdmlisting.

Install texlive-vdmlisting on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install texlive-vdmlisting using dnf by running the following command:

sudo dnf -y install texlive-vdmlisting

Install texlive-vdmlisting on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install texlive-vdmlisting using yum by running the following command:

sudo yum -y install texlive-vdmlisting

How To Uninstall texlive-vdmlisting on Fedora 36

To uninstall only the texlive-vdmlisting package we can use the following command:

sudo dnf remove texlive-vdmlisting

texlive-vdmlisting Package Contents on Fedora 36

/usr/share/licenses/texlive-vdmlisting
/usr/share/licenses/texlive-vdmlisting/lppl1.txt
/usr/share/texlive/texmf-dist/tex/latex/vdmlisting
/usr/share/texlive/texmf-dist/tex/latex/vdmlisting/vdmlisting.sty

References

Summary

In this tutorial we learn how to install texlive-vdmlisting on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).