How to Install and Uninstall haskell-what4-utils Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 07,2024

1. Install "haskell-what4-utils" package

Please follow the instructions below to install haskell-what4-utils on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                haskell-what4-utils
            
                    
    
    Copied

2. Uninstall "haskell-what4-utils" package

Learn how to uninstall haskell-what4-utils on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                haskell-what4-utils
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the haskell-what4-utils package on Ubuntu 22.10 (Kinetic Kudu)

Package: haskell-what4-utils
Architecture: amd64
Version: 1.3-2
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: 13342
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg1), zlib1g (>= 1:1.1.4)
Filename: pool/universe/h/haskell-what4/haskell-what4-utils_1.3-2_amd64.deb
Size: 2266250
MD5sum: 13cfa38c65dc442c8d787b48bbdf701d
SHA1: afb0f91b763156d1044eca865836304be3ea987e
SHA256: 299220b6701a2ef99e320dc0129dca8294e26525f7c63104317da3e76c65683c
SHA512: 993eacc3f12e5bca3d231776a5988b2a7d79837c435b5aa13253234aa27b4d66f99849ea5556307359080c66cd30cdd151f8a8fdd45e86f2397063538911c492
Homepage: https://github.com/GaloisInc/what4
Description: Solver-agnostic symbolic values support for issuing queries
Description-md5: 77553cf68628eb695fd4db66fc071e8e