How to Install and Uninstall texlive-ribbonproofs.noarch Package on Fedora 36

Last updated: October 13,2024

1. Install "texlive-ribbonproofs.noarch" package

This guide covers the steps necessary to install texlive-ribbonproofs.noarch on Fedora 36

$ sudo dnf update $ sudo dnf install texlive-ribbonproofs.noarch

2. Uninstall "texlive-ribbonproofs.noarch" package

Please follow the guidelines below to uninstall texlive-ribbonproofs.noarch on Fedora 36:

$ sudo dnf remove texlive-ribbonproofs.noarch $ sudo dnf autoremove

3. Information about the texlive-ribbonproofs.noarch package on Fedora 36

Last metadata expiration check: 5:04:37 ago on Thu Sep 8 02:05:26 2022.
Available Packages
Name : texlive-ribbonproofs
Epoch : 9
Version : svn31137.1.0
Release : 55.fc36
Architecture : noarch
Size : 29 k
Source : texlive-2021-55.fc36.src.rpm
Repository : fedora
Summary : Drawing ribbon proofs
URL : http://tug.org/texlive/
License : LPPL 1.3
Description : 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.