How to Install and Uninstall coq Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 25,2024

1. Install "coq" package

Please follow the guidelines below to install coq on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq
            
                    
    
    Copied

2. Uninstall "coq" package

Please follow the guidelines below to uninstall coq on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: coq
Architecture: amd64
Version: 8.6-5build1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 72587
Provides: coq-8.6+4.05.0
Depends: coq-theories (= 8.6-5build1), emacsen-common, libcoq-ocaml-ywd98, ocaml-base-nox-4.05.0, libc6 (>= 2.17), ocaml-best-compilers, ocaml-findlib
Recommends: coqide | proofgeneral
Suggests: ocaml-nox, proofgeneral, ledit | readline-editor, libcoq-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.6-5build1_amd64.deb
Size: 17673808
MD5sum: db7e3a2aaf493caffd1aac1230690405
SHA1: bde5804b37fdbff47c0110ba36c280d3ef0381bc
SHA256: 638893f982c13cc6f4b02ce7fa0d4a34f1efea5697a66f831cb3338c2ac8862d
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a