How to Install and Uninstall libcoq-quickchick Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 18,2024

1. Install "libcoq-quickchick" package

Please follow the steps below to install libcoq-quickchick on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-quickchick
            
                    
    
    Copied

2. Uninstall "libcoq-quickchick" package

This is a short guide on how to uninstall libcoq-quickchick on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-quickchick
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-quickchick package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-quickchick
Architecture: amd64
Version: 2.0.2-1build2
Priority: optional
Section: universe/ocaml
Source: coq-quickchick
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7775
Provides: libcoq-quickchick-5dzj3
Depends: libcoq-ext-lib-osgj3, libcoq-mathcomp-ssreflect-s8sz2, libcoq-simple-io-v6sk3, libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_2.0.2-1build2_amd64.deb
Size: 1950512
MD5sum: febc3e3dbe3854d6342fe730c4f0c977
SHA1: 87e8490e143f56b90ebb379b38470d7e061a18a5
SHA256: ae80512e4b737b9b6bf6fc79a9b32f2db11366c6986971f4b4339e348afb18d4
SHA512: 86a992c61d8d290453acb2eaf351e9700cb2002f6fe747e04554ee6598338f34aa76d3769d9e0d7da13dc921ff88e3ee1e00cabd0cf33f5463e9050216ad700c
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (plugin)
Description-md5: e621d041ded1fabf4a8bf5048e6b851f