How to Install and Uninstall libghc-smtlib-prof Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: February 02,2025

1. Install "libghc-smtlib-prof" package

Please follow the guidance below to install libghc-smtlib-prof on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-smtlib-prof
            
                    
    
    Copied

2. Uninstall "libghc-smtlib-prof" package

Please follow the guidelines below to uninstall libghc-smtlib-prof on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-smtlib-prof
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-smtlib-prof package on Ubuntu 22.10 (Kinetic Kudu)

Package: libghc-smtlib-prof
Architecture: amd64
Version: 1.1-2
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: 4355
Provides: libghc-smtlib-prof-1.1-18841
Depends: libghc-base-prof-4.15.1.0-7ed7d, libghc-pretty-prof-1.1.3.6-36e42, libghc-smtlib-dev (= 1.1-2)
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-prof_1.1-2_amd64.deb
Size: 435758
MD5sum: 220de28604998d19ce9cd2434068d718
SHA1: ee7b426d84fffe0a202d1e2ce88fea990fa8a8f2
SHA256: a6042bb8fc739edbe276f7a7d8d6898fb22388bb5a7336f05586bcbad743dc33
SHA512: 10c328bde16dde43308decc97f4515b7d1ed4de78654131894f9f1f01cf23c62361c48a21c433fae98a686ab9cdf1653ffc410565701edeaa45b27fd24625b6c
Description: A library for working with the SMTLIB format.; profiling libraries
Description-md5: 2830b4d6e104ca002170659b37feefea