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

Last updated: November 26,2024

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

This is a short guide on how to install libghc-simple-smt-prof on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-simple-smt-prof
            
                    
    
    Copied

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

Please follow the step by step instructions below to uninstall libghc-simple-smt-prof on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-simple-smt-prof
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-simple-smt-prof
Architecture: amd64
Version: 0.9.7-1
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: 774
Provides: libghc-simple-smt-prof-0.9.7-693e7
Depends: libghc-base-prof-4.15.1.0-7ed7d, libghc-process-prof-1.6.13.2-c4cd2, libghc-simple-smt-dev (= 0.9.7-1)
Filename: pool/universe/h/haskell-simple-smt/libghc-simple-smt-prof_0.9.7-1_amd64.deb
Size: 95122
MD5sum: aebf0a78377131715d790a8ab3a3c5f1
SHA1: d368d4414d7a43aa30dee8032274eb1d1a98f714
SHA256: a0477c95c3c2ab0dd72ab3d703fdb1034428560635e5e901ba1ba242c53202a5
SHA512: 8e65ceb11bf17b817ba0db0eb9dfc1d6a61b09599fb73121b5fe0a23e146c6aec7925e3e900655a24f18983686cd3de716627d8c3022631ad7db3cc8791ab38d
Homepage: http://hackage.haskell.org/package/simple-smt
Description: A simple way to interact with an SMT solver process.; profiling libraries
Description-md5: 0676ef3f86f363d5800c333c66078c90