How To Install texlive-ribbonproofs on Fedora 36
Introduction
In this tutorial we learn how to install texlive-ribbonproofs
on Fedora 36.
What is texlive-ribbonproofs
The package provides a way to draw “ribbon proofs” in LaTeX. A ribbon proof is a diagrammatic representation of a mathematical proof that a computer program meets its specification. These diagrams are more human-readable, more scalable, and more easily modified than the corresponding textual proofs.
We can use yum
or dnf
to install texlive-ribbonproofs
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-ribbonproofs.
Install texlive-ribbonproofs 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-ribbonproofs
using dnf
by running the following command:
sudo dnf -y install texlive-ribbonproofs
Install texlive-ribbonproofs 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-ribbonproofs
using yum
by running the following command:
sudo yum -y install texlive-ribbonproofs
How To Uninstall texlive-ribbonproofs on Fedora 36
To uninstall only the texlive-ribbonproofs
package we can use the following command:
sudo dnf remove texlive-ribbonproofs
texlive-ribbonproofs Package Contents on Fedora 36
/usr/share/licenses/texlive-ribbonproofs
/usr/share/licenses/texlive-ribbonproofs/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/ribbonproofs
/usr/share/texlive/texmf-dist/tex/latex/ribbonproofs/ribbonproofs.sty
References
Summary
In this tutorial we learn how to install texlive-ribbonproofs
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).