How to Install and Uninstall libghc-smtlib-dev Package on Kali Linux

Last updated: May 16,2024

1. Install "libghc-smtlib-dev" package

Please follow the instructions below to install libghc-smtlib-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-smtlib-dev
            
                    
    
    Copied

2. Uninstall "libghc-smtlib-dev" package

Here is a brief guide to show you how to uninstall libghc-smtlib-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-smtlib-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-smtlib-dev package on Kali Linux

Package: libghc-smtlib-dev
Source: haskell-smtlib (1.1-3)
Version: 1.1-3+b1
Installed-Size: 4400
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-smtlib-dev-1.1-b7583
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-pretty-dev-1.1.3.6-1aa0a, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Size: 428132
SHA256: d4c411a3da0daff01a11ea5e8b8c336ee8972e04767bfc2c243f0a8330b1df8f
SHA1: 376cbce8496cbf11cd5f71095c0eaddad7553484
MD5sum: 0a6aaef0abb6a8424a64e39b31f511e2
Description: A library for working with the SMTLIB format.
.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Ghc-Package: smtLib-1.1-FEvARVafcUNAUcXZvN9BBk
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-smtlib/libghc-smtlib-dev_1.1-3+b1_amd64.deb