How to Install and Uninstall coq-doc Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: January 11,2025

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "coq-doc" package

Please follow the guidelines below to install coq-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-doc
            
                    
    
    Copied

2. Uninstall "coq-doc" package

Learn how to uninstall coq-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-doc package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: coq-doc
Architecture: all
Version: 8.15.0-3
Priority: optional
Section: multiverse/doc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 22
Depends: coq-doc-html (>= 8.15.0-3), coq-doc-pdf (>= 8.15.0-3)
Filename: pool/multiverse/c/coq-doc/coq-doc_8.15.0-3_all.deb
Size: 4012
MD5sum: 304262619bf3f1e8445208f56b3ae6c6
SHA1: e1638c65e78fc71d8ea513cd56ff126536c9144c
SHA256: a670ee5fee7bc1170c5567f2cbc998353d47913986aa51c583597b703ca08c39
SHA512: 293d691bd87fc0301f613e385b50fcb681c01ab1c3ca65a553c9d0c95c62f4699ec1762b78f39691fb4dd140a46f335bfd29eba89f0ea740294b4080e4dda8c7
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a