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

Last updated: November 23,2024

1. Install "texlive-synproof" package

In this section, we are going to explain the necessary steps to install texlive-synproof on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-synproof
            
                    
    
    Copied

2. Uninstall "texlive-synproof" package

In this section, we are going to explain the necessary steps to uninstall texlive-synproof on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-synproof
            
                    
    
    Copied

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

Information for package texlive-synproof:
-----------------------------------------
Repository : Main Repository
Name : texlive-synproof
Version : 2021.189.1.0svn15878-150400.16.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 5.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-v-2021-150400.16.1.src
Upstream URL : http://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.