How to Install and Uninstall ghc-dec Package on openSUSE Leap

Last updated: November 08,2024

1. Install "ghc-dec" package

Please follow the guidance below to install ghc-dec on openSUSE Leap


    
        
            $
        

        
            
                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 Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ghc-dec
            
                    
    
    Copied

3. Information about the ghc-dec package on openSUSE Leap

Information for package ghc-dec:
--------------------------------
Repository : Main Repository
Name : ghc-dec
Version : 0.0.4-bp155.3.16
Arch : x86_64
Vendor : openSUSE
Installed Size : 28.3 KiB
Installed : No
Status : not installed
Source package : ghc-dec-0.0.4-bp155.3.16.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) '.