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

Last updated: May 19,2024

1. Install "texlive-lkproof" package

Learn how to install texlive-lkproof on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-lkproof
            
                    
    
    Copied

2. Uninstall "texlive-lkproof" package

Please follow the instructions below to uninstall texlive-lkproof on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-lkproof
            
                    
    
    Copied

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

Information for package texlive-lkproof:
----------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-lkproof
Version : 2023.209.3.1svn20021-55.2
Arch : noarch
Vendor : openSUSE
Installed Size : 7.1 KiB
Installed : No
Status : not installed
Source package : texlive-specs-n-2023-55.2.src
Upstream URL : https://www.tug.org/texlive/
Summary : LK Proof figure macros
Description :
The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.