How to Install and Uninstall ghc-type-equality Package on openSUSE Leap

Last updated: December 28,2024

1. Install "ghc-type-equality" package

This guide let you learn how to install ghc-type-equality on openSUSE Leap


    
        
            $
        

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


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ghc-type-equality
            
                    
    
    Copied

3. Information about the ghc-type-equality package on openSUSE Leap

Information for package ghc-type-equality:
------------------------------------------
Repository : Main Repository
Name : ghc-type-equality
Version : 1-bp155.4.16
Arch : x86_64
Vendor : openSUSE
Installed Size : 7.3 KiB
Installed : No
Status : not installed
Source package : ghc-type-equality-1-bp155.4.16.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'.