How to Install and Uninstall libghc-smtlib-dev Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: January 11,2025

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "libghc-smtlib-dev" package

This tutorial shows how to install libghc-smtlib-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-smtlib-dev
            
                    
    
    Copied

2. Uninstall "libghc-smtlib-dev" package

In this section, we are going to explain the necessary steps to uninstall libghc-smtlib-dev on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-smtlib-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-smtlib-dev package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libghc-smtlib-dev
Architecture: amd64
Version: 1.1-1build2
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: 5264
Provides: libghc-smtlib-dev-1.1-fea78
Depends: libghc-base-dev-4.13.0.0-2f220, libghc-pretty-dev-1.1.3.6-33019, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-smtlib-doc, libghc-smtlib-prof
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.1-1build2_amd64.deb
Size: 460520
MD5sum: cfd67cc2d474d3dc195eedf7660c838b
SHA1: 69e16e22dd64aabc42f664933c8825202fcc686e
SHA256: a496511726997f54b73d40d41e7e8f827c873047a505da0545de119128e0f6ea
SHA512: 0cb586acfedca775954746e32f55c4214ce618c477f3130b16ab1b80864f494f79e24633d326a4f1310c449e53f02a9c6c200086b5fbd44e51d579ce025b920e
Description: A library for working with the SMTLIB format.
Description-md5: dd571ef0c36dd122b05179bd0bbb8c70
Ghc-Package: smtLib-1.1-6JJkuW7YCo3ExAL2xJtS4K