How To Install texlive-bussproofs-extra on Fedora 36

In this tutorial we learn how to install texlive-bussproofs-extra in Fedora 36. texlive-bussproofs-extra is Extra commands for bussproofs.sty

Introduction

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

What is texlive-bussproofs-extra

This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.

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

Install texlive-bussproofs-extra 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-bussproofs-extra using dnf by running the following command:

sudo dnf -y install texlive-bussproofs-extra

Install texlive-bussproofs-extra 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-bussproofs-extra using yum by running the following command:

sudo yum -y install texlive-bussproofs-extra

How To Uninstall texlive-bussproofs-extra on Fedora 36

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

sudo dnf remove texlive-bussproofs-extra

texlive-bussproofs-extra Package Contents on Fedora 36

/usr/share/licenses/texlive-bussproofs-extra
/usr/share/licenses/texlive-bussproofs-extra/lppl.txt
/usr/share/texlive/texmf-dist/doc/latex/bussproofs-extra
/usr/share/texlive/texmf-dist/doc/latex/bussproofs-extra/LICENSE.txt
/usr/share/texlive/texmf-dist/doc/latex/bussproofs-extra/README.md
/usr/share/texlive/texmf-dist/doc/latex/bussproofs-extra/bpextra.sty
/usr/share/texlive/texmf-dist/doc/latex/bussproofs-extra/bussproofs-extra.pdf
/usr/share/texlive/texmf-dist/tex/latex/bussproofs-extra
/usr/share/texlive/texmf-dist/tex/latex/bussproofs-extra/bussproofs-extra.sty

References

Summary

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