How to Install and Uninstall ghc-dec Package on openSuSE Tumbleweed

Last updated: November 23,2024

1. Install "ghc-dec" package

In this section, we are going to explain the necessary steps to install ghc-dec on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                ghc-dec
            
                    
    
    Copied

2. Uninstall "ghc-dec" package

Please follow the steps below to uninstall ghc-dec on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ghc-dec
            
                    
    
    Copied

3. Information about the ghc-dec package on openSuSE Tumbleweed

Information for package ghc-dec:
--------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : ghc-dec
Version : 0.0.5-3.4
Arch : x86_64
Vendor : openSUSE
Installed Size : 36.4 KiB
Installed : No
Status : not installed
Source package : ghc-dec-0.0.5-3.4.src
Upstream URL : https://hackage.haskell.org/package/dec
Summary : Decidable propositions
Description :
This package provides a 'Dec' type.
' type Neg a = a -> Void
data Dec a = Yes a | No (Neg a) '.