How to Install and Uninstall coqide Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 14,2024

1. Install "coqide" package

Please follow the guidelines below to install coqide on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coqide
            
                    
    
    Copied

2. Uninstall "coqide" package

Learn how to uninstall coqide on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coqide
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coqide package on Ubuntu 22.10 (Kinetic Kudu)

Package: coqide
Architecture: amd64
Version: 8.15.2+dfsg-2
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: 9842
Depends: coq (= 8.15.2+dfsg-2), 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)
Filename: pool/universe/c/coq/coqide_8.15.2+dfsg-2_amd64.deb
Size: 2338534
MD5sum: 5fad5f4fcc969daf798181fb6a8c144d
SHA1: abae12ae131483211dfaf7c19c549a24f724fba0
SHA256: cac2cafea4f5c48a69616c5340bcb6f13352b860068731719f96610467366445
SHA512: d2f6c08bd42c2deca9d1d4f6108e174cce10ba519fa86c9a3d59499c0b35ac37093ef1e956facdee7a2bb2cbd5f8970e3b9dcd670b190b60b83cb4deeb5fd4dc
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (gtk interface)
Description-md5: ed74063b20a63106a7031db76f847ec1