How to Install and Uninstall texlive-ribbonproofs Package on openSUSE Leap

Last updated: December 25,2024

1. Install "texlive-ribbonproofs" package

This tutorial shows how to install texlive-ribbonproofs on openSUSE Leap

$ sudo zypper refresh $ sudo zypper install texlive-ribbonproofs

2. Uninstall "texlive-ribbonproofs" package

Please follow the guidelines below to uninstall texlive-ribbonproofs on openSUSE Leap:

$ sudo zypper remove texlive-ribbonproofs

3. Information about the texlive-ribbonproofs package on openSUSE Leap

Information for package texlive-ribbonproofs:
---------------------------------------------
Repository : Main Repository
Name : texlive-ribbonproofs
Version : 2021.189.1.0svn31137-150400.17.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 54.2 KiB
Installed : No
Status : not installed
Source package : texlive-specs-t-2021-150400.17.1.src
Upstream URL : http://www.tug.org/texlive/
Summary : Drawing ribbon proofs
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.

5. The same packages on other Linux Distributions