How to Install and Uninstall coq Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 03,2024

1. Install "coq" package

In this section, we are going to explain the necessary steps to install coq on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq
            
                    
    
    Copied

2. Uninstall "coq" package

Learn how to uninstall coq on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq package on Ubuntu 24.04 LTS (Noble Numbat)

Package: coq
Architecture: amd64
Version: 8.18.0+dfsg-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 304417
Provides: coq-8.18.0+4.14.1
Depends: libcoq-stdlib (= 8.18.0+dfsg-1), libcoq-core-ocaml-fg9y1, libfindlib-ocaml-449z9, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4, ocaml-base-4.14.1, python3:any, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, 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.18.0+dfsg-1_amd64.deb
Size: 119236902
MD5sum: 3d58de3fb905c25461de2b96c934ee5e
SHA1: 87e12f72ee838395fb7363b7a99ce22a90a0a776
SHA256: 7ff3630f9ddb9146e5c93dd7e775232f191e06dbff7b224ea20d71bbbd41425f
SHA512: fc964be4abaae37f916a86a59d01b59e3a60f0284ab7b14b03764cdef8b44e9b53ca9c4f758730bc8e6a0bc8e12a250188446b0cce4f6c378e5f298a7f24b531
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a