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

Last updated: December 27,2024

1. Install "libghc-simple-smt-dev" package

Learn how to install libghc-simple-smt-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-simple-smt-dev
            
                    
    
    Copied

2. Uninstall "libghc-simple-smt-dev" package

Please follow the step by step instructions below to uninstall libghc-simple-smt-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-simple-smt-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-simple-smt-dev
Architecture: amd64
Version: 0.9.7-2
Priority: extra
Section: universe/haskell
Source: haskell-simple-smt
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 849
Provides: libghc-simple-smt-dev-0.9.7-00072
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-process-dev-1.6.17.0-29e15, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-simple-smt/libghc-simple-smt-dev_0.9.7-2_amd64.deb
Size: 116648
MD5sum: d37e996034839fc186203fe7ecd1f63e
SHA1: 824aeffcfbaba8da10bc3ca59ebc06002ec9baa8
SHA256: 6551293021071ad5da97a133917fc6b4f2301a412092e312f3622691dfae2f36
SHA512: 77d2803351af80da00040adaf4df6d0b6d32c8f55f1164455d391dc07449216fa20cb5fcbec7afe3916cd1bb517eb3ecc1ce72fb4823fa2a134c0629f5b9dcd2
Homepage: http://hackage.haskell.org/package/simple-smt
Description: A simple way to interact with an SMT solver process.
Description-md5: 0707b18a20b500c0bdfb0b10fd95bb7f
Ghc-Package: simple-smt-0.9.7-B9Rkpvk0xVhJM9hxMXjaI3