How to Install and Uninstall libcoq-quickchick Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "libcoq-quickchick" package

This tutorial shows how to install libcoq-quickchick on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-quickchick
            
                    
    
    Copied

2. Uninstall "libcoq-quickchick" package

This guide covers the steps necessary to uninstall libcoq-quickchick on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-quickchick
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-quickchick package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-quickchick
Architecture: amd64
Version: 2.0-2build1
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: 8075
Provides: libcoq-quickchick-5yrn7
Depends: libcoq-ext-lib-s79e4, libcoq-mathcomp-ssreflect-sunj9, libcoq-simple-io-wwx03, libcoq-stdlib-zp202
Filename: pool/universe/c/coq-quickchick/libcoq-quickchick_2.0-2build1_amd64.deb
Size: 2096686
MD5sum: 6392378ef9502b5467efcbf77275eb31
SHA1: 982defc6817f6570c754883d91c1934ddc0202e7
SHA256: b87ad9f97e42f4e488869423c0eb58220b8117cb9194589b39412be5d8490f1c
SHA512: acdeaccc7314ecd7ad364e81f07fe0a057dad94c19f392291190343cfc61cc859733b710a4cff44500934ee037b142f8ac7676f0d28b51395b7539b140819c8e
Homepage: https://github.com/Quickchick/Quickchick
Description: randomized testing framework for Coq (plugin)
Description-md5: e621d041ded1fabf4a8bf5048e6b851f