How to Install and Uninstall ghc-type-equality Package on openSuSE Tumbleweed

Last updated: December 27,2024

1. Install "ghc-type-equality" package

Please follow the guidelines below to install ghc-type-equality on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                ghc-type-equality
            
                    
    
    Copied

2. Uninstall "ghc-type-equality" package

This is a short guide on how to uninstall ghc-type-equality on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ghc-type-equality
            
                    
    
    Copied

3. Information about the ghc-type-equality package on openSuSE Tumbleweed

Information for package ghc-type-equality:
------------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : ghc-type-equality
Version : 1-12.4
Arch : x86_64
Vendor : openSUSE
Installed Size : 15.4 KiB
Installed : No
Status : not installed
Source package : ghc-type-equality-1-12.4.src
Upstream URL : https://hackage.haskell.org/package/type-equality
Summary : Data.Type.Equality compat package
Description :
This library defines a propositional equality data type, shims
'Data.Type.Equality' as well as possible for older GHCs (< 7.8).
' data a :~: b where Refl :: a :~: a '
The module 'Data.Type.Equality.Hetero' shims ':~~:' equality, for compilers
with 'PolyKinds'.