How to Install and Uninstall haskell-what4-utils Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 20,2024

1. Install "haskell-what4-utils" package

Please follow the guidelines below to install haskell-what4-utils on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                haskell-what4-utils
            
                    
    
    Copied

2. Uninstall "haskell-what4-utils" package

Please follow the instructions below to uninstall haskell-what4-utils on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                haskell-what4-utils
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the haskell-what4-utils package on Ubuntu 24.04 LTS (Noble Numbat)

Package: haskell-what4-utils
Architecture: amd64
Version: 1.5.1-3
Priority: optional
Section: universe/misc
Source: haskell-what4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 28049
Depends: libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), zlib1g (>= 1:1.1.4)
Filename: pool/universe/h/haskell-what4/haskell-what4-utils_1.5.1-3_amd64.deb
Size: 4578680
MD5sum: c22fb327b473589e71a27ad91645dcc6
SHA1: 443bfe292aca5df0e1e3e6433291c956da86d1c9
SHA256: 2f0ed45c3b84dab816e507e3f14cbd8286d986e47dde11bbbbdb12cf41846736
SHA512: f4f00ce757e68258c7d3d39c91a26e116b0485df10ee630737646ab1175a4f6bd859aa0e9fdf99af353fdec7b737dac39b0412dc87dcf1f26b4989e1a607cc88
Homepage: https://github.com/GaloisInc/what4
Description: Solver-agnostic symbolic values support for issuing queries
Description-md5: 80e93d59d20cc33d67cc26b316f961e2