How to Install and Uninstall quickchick Package on Kali Linux

Last updated: November 26,2024

1. Install "quickchick" package

This tutorial shows how to install quickchick on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                quickchick
            
                    
    
    Copied

2. Uninstall "quickchick" package

Please follow the guidance below to uninstall quickchick on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                quickchick
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the quickchick package on Kali Linux

Package: quickchick
Source: coq-quickchick (2.0.2-1)
Version: 2.0.2-1+b1
Installed-Size: 373
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: ocaml-base | ocaml
Size: 58776
SHA256: 3c2e4f9f113d8d93cf58b14e70891f71804410dd1ae89fea57ae427487314314
SHA1: b6ef09387bc14a3197579cd8cd83267e300269f0
MD5sum: 028aaf0742ec727c7f2a1a70befc1d61
Description: randomized testing framework for Coq (tools)
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
.
It includes a foundational verification framework to test
code and a mechanism to automatically derive generators
for inductive relations.
.
Coq is a proof assistant for higher-order logic.
.
This package contains the tools.
Description-md5:
Homepage: https://github.com/Quickchick/Quickchick
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-quickchick/quickchick_2.0.2-1+b1_amd64.deb