How to Install and Uninstall libghc-logict-dev Package on Debian 12 (Bookworm)

Last updated: November 06,2024

You can also install and uninstall the libghc-logict-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libghc-logict-dev" package

This is a short guide on how to install libghc-logict-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-logict-dev
            
                    
    
    Copied

2. Uninstall "libghc-logict-dev" package

Learn how to uninstall libghc-logict-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-logict-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-logict-dev package on Debian 12 (Bookworm)

Package: libghc-logict-dev
Source: haskell-logict (0.7.1.0-1)
Version: 0.7.1.0-1+b3
Installed-Size: 622
Maintainer: Debian Haskell Group
Architecture: amd64
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)
Description: Backtracking logic-programming monad
Description-md5: 3e8c59966c4a0ddf5a2bf2d13c1a8166
Homepage: https://github.com/Bodigrim/logict#readme
Ghc-Package: logict-0.7.1.0-DBEPXAQIUjTJXDw7hkptTh
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-logict/libghc-logict-dev_0.7.1.0-1+b3_amd64.deb
Size: 70336
MD5sum: 9c66a751146adda764c86ba52b66142d
SHA256: 7800772b696d7e2e7b57b7fe5bc93af987ad1b75fe8300b2d74990a758bd4d11