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

Last updated: May 20,2024

1. Install "quickchick" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                quickchick
            
                    
    
    Copied

2. Uninstall "quickchick" package

This is a short guide on how to uninstall quickchick on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                quickchick
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: 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: 350
Depends: ocaml-base-nox | ocaml-nox
Filename: pool/universe/c/coq-quickchick/quickchick_1.6.4-1_amd64.deb
Size: 63230
MD5sum: 7b8658ffb0cf9aac13617bced03fe954
SHA1: 7bef39bf94ef2d18dc06400bd6d45f41a3429a90
SHA256: b257a4254d76a08ba02f99827f0afc57d821008fd396b8f668ca7543e0e9d89d
SHA512: bd01acd8570ab8ed36a03005b3e35610717a69a005212c3deca7c4991aea583c3bb2037f9cefef89ef19b3a77d827aeb002708f9df6062d450c2896278bd279b
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (tools)
Description-md5: 3190f708de6832bc13984e3cda4ffbd6