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

Last updated: November 26,2024

1. Install "coq" package

Here is a brief guide to show you how to install coq on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq
            
                    
    
    Copied

2. Uninstall "coq" package

Here is a brief guide to show you how to uninstall coq on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: coq
Architecture: amd64
Version: 8.15.2+dfsg-2
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 304149
Provides: coq-8.15.2+4.13.1
Depends: libcoq-stdlib (= 8.15.2+dfsg-2), libcoq-core-ocaml-ifas5, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg), ocaml-nox, ocaml-findlib
Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc
Breaks: coq-libs (<< 8.2.pl1)
Replaces: coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/coq_8.15.2+dfsg-2_amd64.deb
Size: 94893046
MD5sum: d5549ee2cd8ffff446b1dd9971a40452
SHA1: 7fb2cada5812edf9017d7039ad5322c3b246548b
SHA256: 50bd9422c875a964ea967b66de204df7a3137205c36473efe13eb31d3a5ec321
SHA512: a7a2ee9f61194e12f5754d4d1813cad4b02ecd7acdee8c0033357751e59fc22d14494b09c523eee4b5b9613d8bff2bf67babdfdb708f5fbeed87cfad208e5a75
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a