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

Last updated: November 08,2024

1. Install "texlive-natded" package

This guide let you learn how to install texlive-natded on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-natded
            
                    
    
    Copied

2. Uninstall "texlive-natded" package

Please follow the steps below to uninstall texlive-natded on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-natded
            
                    
    
    Copied

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

Information for package texlive-natded:
---------------------------------------
Repository : Main Repository
Name : texlive-natded
Version : 2021.189.0.0.1svn32693-150400.17.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 14.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-q-2021-150400.17.1.src
Upstream URL : http://www.tug.org/texlive/
Summary : Typeset natural deduction proofs
Description :
The package provides commands to typeset proofs in the style
used by Jaskowski, or that of Kalish and Montague.