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

Last updated: December 24,2024

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

MX Linux 23
SparkyLinux

1. Install "coqide" package

This guide let you learn how to install coqide on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coqide
            
                    
    
    Copied

2. Uninstall "coqide" package

Learn how to uninstall coqide on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coqide
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: coqide
Source: coq (8.16.1+dfsg-1)
Version: 8.16.1+dfsg-1+b2
Installed-Size: 9846
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: coq (= 8.16.1+dfsg-1+b2), libc6 (>= 2.35), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk-3-0 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
Description: proof assistant for higher-order logic (gtk interface)
Description-md5: ed74063b20a63106a7031db76f847ec1
Homepage: http://coq.inria.fr/
Tag: devel::ide, field::mathematics, implemented-in::ocaml,
interface::graphical, interface::x11, role::program,
scope::application, uitoolkit::gtk, uitoolkit::ncurses, use::checking,
x11::application
Section: math
Priority: optional
Filename: pool/main/c/coq/coqide_8.16.1+dfsg-1+b2_amd64.deb
Size: 1993412
MD5sum: dff704289d81cfb3c53fb106f5fae951
SHA256: 9d87c74b6e0fed71fddcf79a3412db9cf3c4f3b2770908ddfe23ef89d0abff82