How to Install and Uninstall libcoq-quickchick Package on Kali Linux

Last updated: May 19,2024

1. Install "libcoq-quickchick" package

This guide let you learn how to install libcoq-quickchick on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-quickchick
            
                    
    
    Copied

2. Uninstall "libcoq-quickchick" package

Please follow the step by step instructions below to uninstall libcoq-quickchick on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-quickchick
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-quickchick package on Kali Linux

Package: libcoq-quickchick
Source: coq-quickchick (2.0.2-1)
Version: 2.0.2-1+b1
Installed-Size: 7851
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-quickchick-1v9f3
Depends: libcoq-ext-lib-3kku9, libcoq-mathcomp-ssreflect-v1az1, libcoq-simple-io-5ppx8, libcoq-stdlib-6gs52
Size: 1708436
SHA256: e5f869ced57527f5b72dd67cb16038aced3586e092f867e333a026e5f485ebb5
SHA1: 8fce4d57b0dba4c02e367d8d456560e1136929de
MD5sum: 39971de310e2245beeb8d8fdd3e65472
Description: randomized testing framework for Coq (plugin)
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 Coq plugin.
Description-md5:
Homepage: https://github.com/Quickchick/Quickchick
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-quickchick/libcoq-quickchick_2.0.2-1+b1_amd64.deb