How to Install and Uninstall haskell-what4-utils Package on Debian 12 (Bookworm)

Last updated: January 25,2025

You can also install and uninstall the haskell-what4-utils on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "haskell-what4-utils" package

This is a short guide on how to install haskell-what4-utils on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                haskell-what4-utils
            
                    
    
    Copied

2. Uninstall "haskell-what4-utils" package

This is a short guide on how to uninstall haskell-what4-utils on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                haskell-what4-utils
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the haskell-what4-utils package on Debian 12 (Bookworm)

Package: haskell-what4-utils
Source: haskell-what4 (1.3-4)
Version: 1.3-4+b3
Installed-Size: 13341
Maintainer: Debian Haskell Group
Architecture: amd64
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg1), zlib1g (>= 1:1.1.4)
Description: Solver-agnostic symbolic values support for issuing queries
Description-md5: 77553cf68628eb695fd4db66fc071e8e
Homepage: https://github.com/GaloisInc/what4
Section: misc
Priority: optional
Filename: pool/main/h/haskell-what4/haskell-what4-utils_1.3-4+b3_amd64.deb
Size: 2100108
MD5sum: 0510b1f9a423a9ea40b9c20a9ab38fec
SHA256: dcf960e6c11d5b626bd85a870e75c44c86734e31952afe67cab3fb4bc80f3ee6