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

Last updated: July 02,2024

1. Install "texlive-lplfitch" package

Here is a brief guide to show you how to install texlive-lplfitch on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-lplfitch
            
                    
    
    Copied

2. Uninstall "texlive-lplfitch" package

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


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-lplfitch
            
                    
    
    Copied

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

Information for package texlive-lplfitch:
-----------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-lplfitch
Version : 2023.209.0.0.9svn31077-55.2
Arch : noarch
Vendor : openSUSE
Installed Size : 4.1 KiB
Installed : No
Status : not installed
Source package : texlive-specs-n-2023-55.2.src
Upstream URL : https://www.tug.org/texlive/
Summary : Fitch-style natural deduction proofs
Description :
The package provides macros for typesetting natural deduction
proofs in "Fitch" style, with subproofs indented and offset by
scope lines. The proofs from use of the package are in the
format used in the textbook Language, Proof, and Logic by Dave
Barker-Plummer, Jon Barwise, and John Etchemendy.