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

Last updated: July 07,2024

Deprecated! Installation of this package may no longer be supported.

1. Install "ghc-logict" package

This tutorial shows how to install ghc-logict on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                ghc-logict
            
                    
    
    Copied

2. Uninstall "ghc-logict" package

Learn how to uninstall ghc-logict on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ghc-logict
            
                    
    
    Copied

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

Information for package ghc-logict:
-----------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : ghc-logict
Version : 0.7.1.0-1.12
Arch : x86_64
Vendor : openSUSE
Installed Size : 147,2 KiB
Installed : No
Status : not installed
Source package : ghc-logict-0.7.1.0-1.12.src
Summary : A backtracking logic-programming monad
Description :
Adapted from the paper Interleaving, and Terminating Monad Transformers> by Oleg Kiselyov, Chung-chieh
Shan, Daniel P. Friedman, Amr Sabry.