How to Install and Uninstall haskell-what4-utils Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "haskell-what4-utils" package

This tutorial shows how to install haskell-what4-utils on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                haskell-what4-utils
            
                    
    
    Copied

2. Uninstall "haskell-what4-utils" package

In this section, we are going to explain the necessary steps to uninstall haskell-what4-utils on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                haskell-what4-utils
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the haskell-what4-utils package on Ubuntu 23.10 (Mantic Minotaur)

Package: haskell-what4-utils
Architecture: amd64
Version: 1.3-4build1
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: 13345
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-4build1_amd64.deb
Size: 2268034
MD5sum: 2f88aa79ad64d6a256bd0dbc50979d47
SHA1: de32ef9b67b21a2effc3f6bbf1090af17ce0e85f
SHA256: ea143774790422870c456173630bf6e650440652dcd6b95ccf5e19464ff379d4
SHA512: e291a166a92b11a4f744a8d7eee86ad474124c087b17039e07f315e1161275a9b7c2cc6974860f9faa293f0410be43aaf1e56bd50c4ed0cde8b30183d0597b50
Homepage: https://github.com/GaloisInc/what4
Description: Solver-agnostic symbolic values support for issuing queries
Description-md5: 77553cf68628eb695fd4db66fc071e8e