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

Last updated: January 28,2025

1. Install "texlive-semantic" package

Learn how to install texlive-semantic on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-semantic
            
                    
    
    Copied

2. Uninstall "texlive-semantic" package

Please follow the step by step instructions below to uninstall texlive-semantic on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-semantic
            
                    
    
    Copied

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

Information for package texlive-semantic:
-----------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-semantic
Version : 2023.209.2.0svn15878-54.2
Arch : noarch
Vendor : openSUSE
Installed Size : 28.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-u-2023-54.2.src
Upstream URL : https://www.tug.org/texlive/
Summary : Help for writing programming language semantics
Description :
Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.