How to Install and Uninstall texlive-ribbonproofs Package on openSuSE Tumbleweed

Last updated: December 25,2024

1. Install "texlive-ribbonproofs" package

Here is a brief guide to show you how to install texlive-ribbonproofs on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-ribbonproofs
            
                    
    
    Copied

2. Uninstall "texlive-ribbonproofs" package

Here is a brief guide to show you how to uninstall texlive-ribbonproofs on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-ribbonproofs
            
                    
    
    Copied

3. Information about the texlive-ribbonproofs package on openSuSE Tumbleweed

Information for package texlive-ribbonproofs:
---------------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-ribbonproofs
Version : 2023.209.1.0svn31137-54.4
Arch : noarch
Vendor : openSUSE
Installed Size : 54.2 KiB
Installed : No
Status : not installed
Source package : texlive-specs-t-2023-54.4.src
Upstream URL : https://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.