How to Install and Uninstall libghc-smtlib-prof Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: February 24,2025

1. Install "libghc-smtlib-prof" package

This tutorial shows how to install libghc-smtlib-prof on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-smtlib-prof
            
                    
    
    Copied

2. Uninstall "libghc-smtlib-prof" package

This is a short guide on how to uninstall libghc-smtlib-prof on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-smtlib-prof
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-smtlib-prof package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-smtlib-prof
Architecture: amd64
Version: 1.1-2build2
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: 4354
Provides: libghc-smtlib-prof-1.1-440c7
Depends: libghc-base-prof-4.15.1.0-6a406, libghc-pretty-prof-1.1.3.6-b017f, libghc-smtlib-dev (= 1.1-2build2)
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-prof_1.1-2build2_amd64.deb
Size: 435750
MD5sum: bd27cdceb59c544d085fcfa7ac83ce98
SHA1: 623b06092488df95948d8b6c594de948c10b2af6
SHA256: f524850714710742b230ab1b99b1ac1a26a1ea2694b9df6594d227f56fdc512b
SHA512: e0673bc526a7bdc64c47e390c876794db933d6f632cd6175204402cb0ffbe10cc3a317f3d9c063beaaa1bdb581fc113e36ee462d1312f6f5fa5f1a239668622f
Description: A library for working with the SMTLIB format.; profiling libraries
Description-md5: 2830b4d6e104ca002170659b37feefea