How to Install and Uninstall libghc-logict-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 05,2024

1. Install "libghc-logict-dev" package

In this section, we are going to explain the necessary steps to install libghc-logict-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-logict-dev
            
                    
    
    Copied

2. Uninstall "libghc-logict-dev" package

Here is a brief guide to show you how to uninstall libghc-logict-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-logict-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-logict-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-logict-dev
Architecture: amd64
Version: 0.7.1.0-1build3
Priority: extra
Section: universe/haskell
Source: haskell-logict
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 619
Provides: libghc-logict-dev-0.7.1.0-698f1
Depends: libghc-base-dev-4.15.1.0-6a406, libghc-mtl-dev-2.2.2-e3bae, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1)
Filename: pool/universe/h/haskell-logict/libghc-logict-dev_0.7.1.0-1build3_amd64.deb
Size: 71022
MD5sum: f5b99dcd47fc240dd1f9c2bcf8fb54f2
SHA1: e72d675e8ebe512d327454a20e278e4e52fbc032
SHA256: 63fc4982afd1b8143787958bf1cd15e7550cd3c8d53b46ab1de156ccbe50b905
SHA512: d1534330837480d23b6d465f4de2f848402c863a54ee1e69e9349b286912fe224bbb28f9e687c00cc7caa0f1bc78b1457e472bfd518a9b892153383cee520e65
Homepage: https://github.com/Bodigrim/logict#readme
Description: Backtracking logic-programming monad
Description-md5: 3e8c59966c4a0ddf5a2bf2d13c1a8166
Ghc-Package: logict-0.7.1.0-DBEPXAQIUjTJXDw7hkptTh