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

Last updated: December 25,2024

1. Install "texlive-synproof" package

This tutorial shows how to install texlive-synproof on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-synproof
            
                    
    
    Copied

2. Uninstall "texlive-synproof" package

This tutorial shows how to uninstall texlive-synproof on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-synproof
            
                    
    
    Copied

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

Information for package texlive-synproof:
-----------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-synproof
Version : 2023.209.1.0svn15878-58.2
Arch : noarch
Vendor : openSUSE
Installed Size : 5.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-v-2023-58.2.src
Upstream URL : https://www.tug.org/texlive/
Summary : Easy drawing of syntactic proofs
Description :
The package provides a set of macros based on PSTricks that
will enable you to draw syntactic proofs easily (inspired by
the Gamut books). Very few commands are needed, however fine
tuning of the various parameters (dimensions) can still be
achieved through "key=value" pairs.