How to Install and Uninstall coq Package on Debian 12 (Bookworm)

Last updated: May 03,2024

You can also install and uninstall the coq on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "coq" package

This guide covers the steps necessary to install coq on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq
            
                    
    
    Copied

2. Uninstall "coq" package

This guide let you learn how to uninstall coq on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq package on Debian 12 (Bookworm)

Package: coq
Source: coq (8.16.1+dfsg-1)
Version: 8.16.1+dfsg-1+b2
Installed-Size: 352732
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1)
Provides: coq-8.16.1+4.13.1
Depends: libcoq-stdlib (= 8.16.1+dfsg-1+b2), libcoq-core-ocaml-cpf60, libfindlib-ocaml-0thr1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1), 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)
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a
Homepage: http://coq.inria.fr/
Tag: devel::compiler, field::mathematics, implemented-in::ocaml,
interface::commandline, interface::text-mode, role::program,
scope::utility, uitoolkit::ncurses
Section: math
Priority: optional
Filename: pool/main/c/coq/coq_8.16.1+dfsg-1+b2_amd64.deb
Size: 93212572
MD5sum: f6794aca0a7a2eea78ddbb0f0bee49b6
SHA256: 6496db435f9585e1f1527d9418070f15977b049c01c37c9bd33f7cc4152f8677