How to Install and Uninstall libghc-smtlib-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 14,2024

1. Install "libghc-smtlib-dev" package

This tutorial shows how to install libghc-smtlib-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-smtlib-dev
            
                    
    
    Copied

2. Uninstall "libghc-smtlib-dev" package

Learn how to uninstall libghc-smtlib-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-smtlib-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-smtlib-dev package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libghc-smtlib-dev
Architecture: amd64
Version: 1.1-3
Priority: extra
Section: universe/haskell
Source: haskell-smtlib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4399
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)
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.1-3_amd64.deb
Size: 473288
MD5sum: de8e2e14efec54ae64a56fd86ef61202
SHA1: 8074d47e4163fb7d32bd168cfb066efccf77fd54
SHA256: 198cdae6a21bae2db772fbfca83d116bcb3f2ef89a58da6c40a3ac9709c06d62
SHA512: 530671902315e3fc31023d1a90c886972eb42f43e67152fcf57a697fbfcecc977cb7173c19cf2815bd000b745446e99ba3b1a809f36d1210509df42d53bfb5f2
Description: A library for working with the SMTLIB format.
Description-md5: dd571ef0c36dd122b05179bd0bbb8c70
Ghc-Package: smtLib-1.1-FEvARVafcUNAUcXZvN9BBk