How to Install and Uninstall libcoq-quickchick Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 25,2024

1. Install "libcoq-quickchick" package

This is a short guide on how to install libcoq-quickchick on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-quickchick
            
                    
    
    Copied

2. Uninstall "libcoq-quickchick" package

Please follow the steps below to uninstall libcoq-quickchick on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-quickchick
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-quickchick package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-quickchick
Architecture: amd64
Version: 1.6.4-1
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: 6100
Provides: libcoq-quickchick-c3mq3
Depends: libcoq-ext-lib-zaj07, libcoq-mathcomp-ssreflect-l9aa5, libcoq-simple-io-p5pj5, libcoq-stdlib-95ec4
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_1.6.4-1_amd64.deb
Size: 1823992
MD5sum: 8b169d8cbc570565f987b593c0dbc1d9
SHA1: 67bd5f867821a9eb12b1dbe1804d5db5eb86c804
SHA256: fc25d09a140af4ffe5691f0e8f1c30e3ec25504271f556095b01f20ae7e5905e
SHA512: 0e66eabb44be774d793db656dd77157f4d3361c313a3d4bd8007acb4a031a474764f1f2d9a18f0691661d331130c0f538cc4c5176cf119d6e71acfdede02f2fb
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (plugin)
Description-md5: e621d041ded1fabf4a8bf5048e6b851f