How to Install and Uninstall coq Package on Debian 11 (Bullseye)

Last updated: May 03,2024

1. Install "coq" package

In this section, we are going to explain the necessary steps to install coq on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq
            
                    
    
    Copied

2. Uninstall "coq" package

This guide covers the steps necessary to uninstall coq on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq package on Debian 11 (Bullseye)

Package: coq
Source: coq (8.12.0-3)
Version: 8.12.0-3+b3
Installed-Size: 358108
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1)
Provides: coq-8.12.0+4.11.1
Depends: coq-theories (= 8.12.0-3+b3), libcoq-ocaml-xs455, libnum-ocaml-80ki3, ocaml-base-nox-4.11.1, python3:any, libc6 (>= 2.29), ocaml-nox, ocaml-findlib
Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-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.12.0-3+b3_amd64.deb
Size: 90453192
MD5sum: 8b10600f23b7adb63085ed1c9d3a2c15
SHA256: 32024a598cea19f754f6fec49f8b78c09dbfa44244d604b59ef8ba845e11f267