How To Install texlive-prftree on Fedora 36
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/).