How to Install and Uninstall quickchick Package on Debian 12 (Bookworm)

Last updated: January 11,2025

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

MX Linux 23
SparkyLinux

1. Install "quickchick" package

This tutorial shows how to install quickchick on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                quickchick
            
                    
    
    Copied

2. Uninstall "quickchick" package

In this section, we are going to explain the necessary steps to uninstall quickchick on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                quickchick
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the quickchick package on Debian 12 (Bookworm)

Package: quickchick
Source: coq-quickchick (1.6.4-3)
Version: 1.6.4-3+b1
Installed-Size: 353
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: ocaml-base-nox | ocaml-nox
Description: randomized testing framework for Coq (tools)
Description-md5: 3190f708de6832bc13984e3cda4ffbd6
Homepage: https://github.com/Quickchick/Quickchick
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-quickchick/quickchick_1.6.4-3+b1_amd64.deb
Size: 55660
MD5sum: fa1b7bf3f63556ce3ca96464f58ed734
SHA256: 5230785e2ce885f19fea1d61e74378430cd016ec322d71731434194ac5f8a358