How To Install texlive-prftree on Fedora 36

In this tutorial we learn how to install texlive-prftree in Fedora 36. texlive-prftree is Macros for building proof trees

Introduction

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

What is texlive-prftree

A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.

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

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

sudo dnf -y install texlive-prftree

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

sudo yum -y install texlive-prftree

How To Uninstall texlive-prftree on Fedora 36

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

sudo dnf remove texlive-prftree

texlive-prftree Package Contents on Fedora 36

/usr/share/licenses/texlive-prftree
/usr/share/licenses/texlive-prftree/gpl.txt
/usr/share/texlive/texmf-dist/tex/latex/prftree
/usr/share/texlive/texmf-dist/tex/latex/prftree/prftree.sty

References

Summary

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