How to Install and Uninstall haskell-what4-utils Package on Kali Linux

Last updated: December 25,2024

1. Install "haskell-what4-utils" package

This is a short guide on how to install haskell-what4-utils on Kali Linux


    
        
            $
        

        
            
                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 Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                haskell-what4-utils
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the haskell-what4-utils package on Kali Linux

Package: haskell-what4-utils
Source: haskell-what4
Version: 1.5.1-3
Installed-Size: 28040
Maintainer: Debian Haskell Group
Architecture: amd64
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), zlib1g (>= 1:1.1.4)
Size: 4227256
SHA256: 4faa26b4bdecdb0727ef2c898502d85c21996050880fd4f5a4fb3b22fbfde13e
SHA1: 85f799e82420f8ad56449b73371b7d26096df706
MD5sum: 495cf65ca9eff7365b0398fd65417045
Description: Solver-agnostic symbolic values support for issuing queries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
Description-md5:
Homepage: https://github.com/GaloisInc/what4
Section: misc
Priority: optional
Filename: pool/main/h/haskell-what4/haskell-what4-utils_1.5.1-3_amd64.deb