How to Install and Uninstall coqide Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 16,2024

1. Install "coqide" package

In this section, we are going to explain the necessary steps to install coqide on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coqide
            
                    
    
    Copied

2. Uninstall "coqide" package

Learn how to uninstall coqide on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coqide
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coqide package on Ubuntu 21.10 (Impish Indri)

Package: coqide
Architecture: amd64
Version: 8.12.0-3build3
Priority: optional
Section: universe/math
Source: coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9310
Depends: coq (= 8.12.0-3build3), libc6 (>= 2.32), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0) | libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk-3-0 (>= 3.1.4), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
Filename: pool/universe/c/coq/coqide_8.12.0-3build3_amd64.deb
Size: 1868760
MD5sum: d38df8cc4b5adf97e6cafc4febda8ed3
SHA1: 4b892100afd3a80d3697203c31f5ae63d688e0e0
SHA256: b27f3a0c6ec0c5ce9f78c818dc7d590f924905ee26afeffd2f4843df549d1746
SHA512: 29591e252a57d9ff3cb8c0ac92429efe5b7a4bd11d20be23b365363646ec9881f68931cb22c8a8ed7e3f9a011c96f0194b4d4c63bb3b7a1842d1dbfd1153c5f1
Homepage: http://coq.inria.fr/
Description-en: proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides CoqIde, a graphical user interface for
developing proofs.
Description-md5: ed74063b20a63106a7031db76f847ec1